| Tue, 27 Oct 2015 15:17:02 +0000 | paulson | Cauchy's integral formula, required lemmas, and a bit of reorganisation | 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 |
| Thu, 13 Aug 2015 10:05:58 +0200 | haftmann | more lemmas | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 26 May 2015 21:58:04 +0100 | paulson | New material about paths, and some lemmas | file | diff | annotate |
| Wed, 11 Feb 2015 13:47:48 +0100 | Andreas Lochbihler | add lemmas about bind and image | file | diff | annotate |