| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Thu, 19 Oct 2017 17:16:01 +0100 | paulson | Switching to inverse image and constant_on, plus some new material | file | diff | annotate |
| Mon, 09 Oct 2017 15:34:23 +0100 | paulson | new material about connectedness, etc. | file | diff | annotate |
| Thu, 05 Oct 2017 15:35:24 +0100 | paulson | new theorem at_within_cbox_finite | file | diff | annotate |
| Fri, 08 Sep 2017 12:49:40 +0100 | paulson | Simplicial complexes and triangulations; Baire Category Theorem | file | diff | annotate |
| Thu, 27 Jul 2017 15:22:35 +0100 | paulson | polytopes: simplical subdivisions, etc. | file | diff | annotate |
| Thu, 20 Jul 2017 14:05:29 +0100 | paulson | Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike | file | diff | annotate |