| 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 |