src/HOL/Analysis/Starlike.thy
Thu, 05 Oct 2017 15:35:24 +0100 paulson new theorem at_within_cbox_finite
Fri, 08 Sep 2017 12:49:40 +0100 paulson Simplicial complexes and triangulations; Baire Category Theorem
Thu, 27 Jul 2017 15:22:35 +0100 paulson polytopes: simplical subdivisions, etc.
Thu, 20 Jul 2017 14:05:29 +0100 paulson Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike
less more (0) tip