src/HOL/Set_Interval.thy
Thu, 29 Oct 2015 15:40:52 +0100 eberlm added many small lemmas about setsum/setprod/powr/...
Fri, 09 Oct 2015 20:26:03 +0200 wenzelm discontinued specific HTML syntax;
Mon, 21 Sep 2015 19:52:13 +0100 paulson new lemmas and movement of lemmas into place
Tue, 28 Jul 2015 16:16:13 +0100 paulson the Cauchy integral theorem and related material
Mon, 20 Jul 2015 23:12:50 +0100 paulson new material for multivariate analysis, etc.
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Tue, 30 Jun 2015 13:56:16 +0100 paulson Useful lemmas. The theorem concerning swapping the variables in a double integral.
Fri, 26 Jun 2015 11:07:04 +0200 wenzelm proper spacing, as for other syntax for these symbols;
Thu, 30 Apr 2015 15:28:01 +0100 paulson tidying some messy proofs
Tue, 28 Apr 2015 16:23:38 +0100 paulson New material about complex transcendental functions (especially Ln, Arg) and polynomials
Sat, 11 Apr 2015 11:56:40 +0100 paulson Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
Tue, 20 Jan 2015 17:13:05 +0100 hoelzl generalized sum_diff_distrib to setsum_subtractf_nat
Thu, 13 Nov 2014 17:19:52 +0100 hoelzl import general theorems from AFP/Markov_Models
Tue, 11 Nov 2014 19:38:45 +0100 noschinl add forgotten lemma
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
less more (0) -15 tip