| Thu, 29 Oct 2015 15:40:52 +0100 | eberlm | added many small lemmas about setsum/setprod/powr/... | file | diff | annotate |
| Fri, 09 Oct 2015 20:26:03 +0200 | wenzelm | discontinued specific HTML syntax; | file | diff | annotate |
| Mon, 21 Sep 2015 19:52:13 +0100 | paulson | new lemmas and movement of lemmas into place | file | diff | annotate |
| Tue, 28 Jul 2015 16:16:13 +0100 | paulson | the Cauchy integral theorem and related material | file | diff | annotate |
| Mon, 20 Jul 2015 23:12:50 +0100 | paulson | new material for multivariate analysis, etc. | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | 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 |