| 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 |