| Wed, 30 Sep 2015 16:36:42 +0100 | paulson | real_of_nat_Suc is now a simprule | file | diff | annotate |
| Mon, 21 Sep 2015 21:46:14 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Mon, 21 Sep 2015 19:52:13 +0100 | paulson | new lemmas and movement of lemmas into place | file | diff | annotate |
| Sat, 19 Sep 2015 22:32:13 +0200 | wenzelm | eliminated hard tabs; | file | diff | annotate |
| Fri, 18 Sep 2015 16:27:37 +0100 | paulson | Massive revisions, as a valid path must now be continously differentiable (C!) | file | diff | annotate |
| Thu, 03 Sep 2015 20:27:53 +0100 | paulson | new lemmas about vector_derivative, complex numbers, paths, etc. | file | diff | annotate |
| Tue, 28 Jul 2015 16:16:13 +0100 | paulson | the Cauchy integral theorem and related material | file | diff | annotate |