src/HOL/Multivariate_Analysis/Complex_Transcendental.thy
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