src/HOL/Library/Library.thy
changeset 33175 2083bde13ce1
parent 32479 521cc9bf2958
child 33176 d6936fd7cda8
     1.1 --- a/src/HOL/Library/Library.thy	Fri Oct 23 14:33:07 2009 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Oct 23 13:23:18 2009 +0200
     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 @@ -54,7 +52,6 @@
    1.14    RBT
    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