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 |