1.1 --- a/src/HOL/Library/Library.thy	Mon Oct 26 08:54:20 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Oct 26 09:03:57 2009 +0100
     1.3 @@ -14,9 +14,7 @@
     1.4    Commutative_Ring
     1.5    Continuity
     1.6    ContNotDenum
     1.7 -  Convex_Euclidean_Space
     1.8    Countable
     1.9 -  Determinants
    1.10    Diagonalize
    1.11    Efficient_Nat
    1.12    Enum
    1.13 @@ -55,7 +53,6 @@
    1.14    SML_Quickcheck
    1.15    State_Monad
    1.16    Sum_Of_Squares
    1.17 -  Topology_Euclidean_Space
    1.18    Univ_Poly
    1.19    While_Combinator
    1.20    Word