| Mon, 18 Apr 2016 14:30:32 +0100 | paulson | new theorems about convex hulls, etc.; also, renamed some theorems | file | diff | annotate |
| Sun, 03 Apr 2016 23:03:30 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Wed, 16 Mar 2016 13:57:06 +0000 | paulson | Contractible sets. Also removal of obsolete theorems and refactoring | file | diff | annotate |
| Tue, 15 Mar 2016 14:08:25 +0000 | paulson | rationalisation of theorem names esp about "real Archimedian" etc. | file | diff | annotate |
| Mon, 14 Mar 2016 14:19:06 +0000 | paulson | Refactoring (moving theorems into better locations), plus a bit of new material | file | diff | annotate |
| Mon, 07 Mar 2016 14:34:45 +0000 | paulson | new material to Blochj's theorem, as well as supporting lemmas | file | diff | annotate |
| Mon, 29 Feb 2016 11:42:15 +0000 | paulson | the integral is 0 when otherwise it would be undefined (also for contour integrals) | file | diff | annotate |