| Wed, 09 Dec 2015 17:35:22 +0000 | paulson | sorted out eventually_mono | file | diff | annotate |
| Mon, 07 Dec 2015 20:19:59 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Mon, 07 Dec 2015 16:44:26 +0000 | paulson | Cauchy's integral formula for circles. Starting to fix eventually_mono. | file | diff | annotate |
| Tue, 01 Dec 2015 14:09:10 +0000 | paulson | Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material. | file | diff | annotate |
| Sun, 22 Nov 2015 23:19:43 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 13 Nov 2015 20:03:27 +0100 | wenzelm | merged | file | diff | annotate |