src/HOL/Multivariate_Analysis/Cauchy_Integral_Thm.thy
Tue, 10 Nov 2015 14:18:41 +0000 paulson Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
Tue, 27 Oct 2015 15:17:02 +0000 paulson Cauchy's integral formula, required lemmas, and a bit of reorganisation
Mon, 26 Oct 2015 23:41:27 +0000 paulson new lemmas about topology, etc., for Cauchy integral formula
Tue, 13 Oct 2015 12:42:08 +0100 paulson new material on path_component_sets, inside, outside, etc. And more default simprules
Wed, 30 Sep 2015 16:36:42 +0100 paulson real_of_nat_Suc is now a simprule
Mon, 21 Sep 2015 21:46:14 +0200 wenzelm isabelle update_cartouches;
Mon, 21 Sep 2015 19:52:13 +0100 paulson new lemmas and movement of lemmas into place
Sat, 19 Sep 2015 22:32:13 +0200 wenzelm eliminated hard tabs;
Fri, 18 Sep 2015 16:27:37 +0100 paulson Massive revisions, as a valid path must now be continously differentiable (C!)
Thu, 03 Sep 2015 20:27:53 +0100 paulson new lemmas about vector_derivative, complex numbers, paths, etc.
Tue, 28 Jul 2015 16:16:13 +0100 paulson the Cauchy integral theorem and related material
less more (0) tip