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