src/HOL/Library/Library.thy
changeset 29845 5ef75225c9c2
parent 29836 3d935e8b0bf7
child 29847 af32126ee729
     1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 09 17:08:49 2009 +0000
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 09 17:09:18 2009 +0000
     1.3 @@ -17,9 +17,9 @@
     1.4    Countable
     1.5    Efficient_Nat
     1.6    Enum
     1.7 +  Euclidean_Space
     1.8    Eval_Witness
     1.9    Executable_Set
    1.10 -  Finite_Cartesian_Product
    1.11    Float
    1.12    Formal_Power_Series
    1.13    FuncSet