--- a/src/HOL/Library/Library.thy Mon Feb 09 17:08:49 2009 +0000
+++ b/src/HOL/Library/Library.thy Mon Feb 09 17:09:18 2009 +0000
@@ -17,9 +17,9 @@
Countable
Efficient_Nat
Enum
+ Euclidean_Space
Eval_Witness
Executable_Set
- Finite_Cartesian_Product
Float
Formal_Power_Series
FuncSet