src/HOL/Multivariate_Analysis/Complex_Transcendental.thy
2015-07-28 paulson 2015-07-28 the Cauchy integral theorem and related material
2015-06-10 wenzelm 2015-06-10 isabelle update_cartouches;
2015-04-30 paulson 2015-04-30 tidying some messy proofs
2015-04-28 paulson 2015-04-28 New material about complex transcendental functions (especially Ln, Arg) and polynomials
2015-04-21 paulson 2015-04-21 New material, mostly about limits. Consolidation.
2015-04-11 paulson 2015-04-11 Complex roots of unity. Better definition of ln for complex numbers. Used [code del] to stop code generation for powr.
2015-04-11 paulson 2015-04-11 Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
2015-04-01 paulson 2015-04-01 HOL Light Libraries for complex Arctan, Arcsin, Arccos
2015-03-31 paulson 2015-03-31 New material and binomial fix
2015-03-19 paulson 2015-03-19 New material for complex sin, cos, tan, Ln, also some reorganisation
2015-03-18 paulson 2015-03-18 new HOL Light material about exp, sin, cos
2015-03-18 paulson 2015-03-18 new file for complex transcendental functions