| Sun, 13 Sep 2015 21:06:58 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sun, 13 Sep 2015 20:20:16 +0200 | wenzelm | renamed method "goals" to "goal_cases" to emphasize its meaning; | file | diff | annotate |
| Sun, 13 Sep 2015 16:50:12 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Thu, 06 Aug 2015 23:56:48 +0200 | haftmann | slight cleanup of lemmas | file | diff | annotate |
| Tue, 28 Jul 2015 17:15:01 +0100 | paulson | tweaks. Got rid of a really slow step | file | diff | annotate |
| Mon, 27 Jul 2015 16:52:57 +0100 | paulson | New material for Cauchy's integral theorem | file | diff | annotate |
| Mon, 20 Jul 2015 23:12:50 +0100 | paulson | new material for multivariate analysis, etc. | file | diff | annotate |
| Wed, 01 Jul 2015 13:09:56 +0200 | immler | taylor series with has_integral and integrable_on | file | diff | annotate |
| Tue, 30 Jun 2015 13:56:16 +0100 | paulson | Useful lemmas. The theorem concerning swapping the variables in a double integral. | file | diff | annotate |
| Fri, 26 Jun 2015 10:20:33 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Tue, 16 Jun 2015 20:50:00 +0100 | paulson | another messy proof fixed | file | diff | annotate |
| Mon, 15 Jun 2015 21:33:26 +0100 | paulson | inverted another messy proof | file | diff | annotate |
| Sun, 14 Jun 2015 18:51:34 +0100 | paulson | another tangled proof | file | diff | annotate |
| Sun, 14 Jun 2015 17:05:27 +0100 | paulson | Tidied up more proofs | file | diff | annotate |
| Sun, 14 Jun 2015 14:25:01 +0100 | paulson | another proof | file | diff | annotate |
| Sun, 14 Jun 2015 12:48:32 +0100 | paulson | fixing more proofs | file | diff | annotate |
| Sat, 13 Jun 2015 22:48:47 +0100 | paulson | fixed another horrible proof | file | diff | annotate |
| Sat, 13 Jun 2015 19:23:41 +0100 | paulson | streamlined many more proofs | file | diff | annotate |
| Sat, 13 Jun 2015 12:30:12 +0100 | paulson | tidied more proofs | file | diff | annotate |
| Sat, 13 Jun 2015 00:33:14 +0100 | paulson | proof tidying | file | diff | annotate |
| Thu, 11 Jun 2015 21:41:55 +0100 | paulson | fixed several "inside-out" proofs | file | diff | annotate |
| Thu, 11 Jun 2015 00:12:27 +0100 | paulson | tidied more proofs | file | diff | annotate |
| Wed, 10 Jun 2015 19:10:20 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 09 Jun 2015 22:48:11 +0100 | paulson | more tidying up of proofs | file | diff | annotate |
| Mon, 08 Jun 2015 23:51:08 +0100 | paulson | tidying messy proofs | file | diff | annotate |
| Mon, 08 Jun 2015 00:25:10 +0100 | paulson | Tidied lots of messy proofs | file | diff | annotate |
| Tue, 05 May 2015 18:45:10 +0200 | immler | general Taylor series expansion with integral remainder | file | diff | annotate |
| Fri, 20 Mar 2015 16:11:28 +0000 | paulson | tweaked a few slow or very ugly proofs | file | diff | annotate |
| Sat, 07 Mar 2015 21:32:31 +0100 | wenzelm | clarified Drule.gen_all: observe context more carefully; | file | diff | annotate |