2016-01-11 paulson 2016-01-11 nonneg_Reals, nonpos_Reals, Cauchy integral formula, etc.
2016-01-08 hoelzl 2016-01-08 add uniform spaces
2016-01-07 paulson 2016-01-07 revisions to limits and derivatives, plus new lemmas
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-12-27 wenzelm 2015-12-27 prefer symbols for "floor", "ceiling";
2015-12-22 paulson 2015-12-22 Liouville theorem, Fundamental Theorem of Algebra, etc.
2015-12-15 paulson 2015-12-15 New complex analysis material
2015-12-09 paulson 2015-12-09 sorted out eventually_mono
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-12-07 paulson 2015-12-07 Cauchy's integral formula for circles. Starting to fix eventually_mono.
2015-12-01 paulson 2015-12-01 Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material.
2015-11-23 paulson 2015-11-23 New material about paths, winding numbers, etc. Added lemmas to divide_const_simps. Misc tuning.
2015-11-20 paulson 2015-11-20 Theory of homotopic paths (from HOL Light), plus comments and minor refinements
2015-11-17 paulson 2015-11-17 Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths
2015-11-10 paulson 2015-11-10 Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
2015-10-27 paulson 2015-10-27 Cauchy's integral formula, required lemmas, and a bit of reorganisation
2015-10-26 paulson 2015-10-26 new lemmas about topology, etc., for Cauchy integral formula
2015-10-13 paulson 2015-10-13 new material on path_component_sets, inside, outside, etc. And more default simprules
2015-09-30 paulson 2015-09-30 real_of_nat_Suc is now a simprule
2015-09-21 wenzelm 2015-09-21 isabelle update_cartouches;
2015-09-21 paulson 2015-09-21 new lemmas and movement of lemmas into place
2015-09-19 wenzelm 2015-09-19 eliminated hard tabs;
2015-09-18 paulson 2015-09-18 Massive revisions, as a valid path must now be continously differentiable (C!)
2015-09-03 paulson 2015-09-03 new lemmas about vector_derivative, complex numbers, paths, etc.
2015-07-28 paulson 2015-07-28 the Cauchy integral theorem and related material