src/HOL/Multivariate_Analysis/Derivative.thy
Wed, 20 Jan 2016 13:16:58 +0100 immler added lemma
Fri, 08 Jan 2016 17:40:59 +0100 hoelzl add uniform spaces
Thu, 07 Jan 2016 17:40:55 +0000 paulson revisions to limits and derivatives, plus new lemmas
Wed, 30 Dec 2015 11:37:29 +0100 wenzelm isabelle update_cartouches -c -t;
Wed, 30 Dec 2015 11:21:54 +0100 wenzelm more symbols;
Tue, 29 Dec 2015 23:04:53 +0100 wenzelm more symbols;
Mon, 28 Dec 2015 01:28:28 +0100 wenzelm more symbols;
Tue, 22 Dec 2015 21:58:27 +0100 immler theory for type of bounded linear functions; differentiation under the integral sign
Tue, 22 Dec 2015 14:33:34 +0000 paulson Liouville theorem, Fundamental Theorem of Algebra, etc.
Thu, 17 Dec 2015 16:43:36 +0100 hoelzl moved some theorems from the CLT proof; reordered some theorems / notation
Thu, 10 Dec 2015 13:38:40 +0000 paulson not_leE -> not_le_imp_less and other tidying
Wed, 09 Dec 2015 17:35:22 +0000 paulson sorted out eventually_mono
Mon, 07 Dec 2015 20:19:59 +0100 wenzelm isabelle update_cartouches -c -t;
Tue, 01 Dec 2015 14:09:10 +0000 paulson Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material.
Fri, 13 Nov 2015 12:27:13 +0000 paulson Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes.
Tue, 03 Nov 2015 16:47:37 +0100 wenzelm tuned imports;
Mon, 02 Nov 2015 11:56:28 +0100 eberlm Rounding function, uniform limits, cotangent, binomial identities
Thu, 29 Oct 2015 15:40:52 +0100 eberlm added many small lemmas about setsum/setprod/powr/...
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
Fri, 25 Sep 2015 16:54:31 +0200 hoelzl prove Liminf_inverse_ereal
Mon, 21 Sep 2015 19:52:13 +0100 paulson new lemmas and movement of lemmas into place
Sun, 13 Sep 2015 16:50:12 +0200 wenzelm tuned proofs;
Thu, 03 Sep 2015 20:27:53 +0100 paulson new lemmas about vector_derivative, complex numbers, paths, etc.
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Mon, 27 Jul 2015 16:52:57 +0100 paulson New material for Cauchy's integral theorem
Mon, 20 Jul 2015 23:12:50 +0100 paulson new material for multivariate analysis, etc.
Fri, 26 Jun 2015 14:53:28 +0200 wenzelm do not expose goal parameters;
Wed, 10 Jun 2015 19:10:20 +0200 wenzelm isabelle update_cartouches;
Tue, 05 May 2015 18:45:10 +0200 immler generalized class constraints
less more (0) -100 -50 -30 tip