src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Oct 26 08:54:20 2009 +0100
+++ b/src/HOL/Library/Library.thy	Mon Oct 26 09:03:57 2009 +0100
@@ -14,9 +14,7 @@
   Commutative_Ring
   Continuity
   ContNotDenum
-  Convex_Euclidean_Space
   Countable
-  Determinants
   Diagonalize
   Efficient_Nat
   Enum
@@ -55,7 +53,6 @@
   SML_Quickcheck
   State_Monad
   Sum_Of_Squares
-  Topology_Euclidean_Space
   Univ_Poly
   While_Combinator
   Word