src/HOL/Library/Library.thy
changeset 29847 af32126ee729
parent 29845 5ef75225c9c2
child 29879 4425849f5db7
--- a/src/HOL/Library/Library.thy	Mon Feb 09 17:21:19 2009 +0000
+++ b/src/HOL/Library/Library.thy	Mon Feb 09 17:21:46 2009 +0000
@@ -15,9 +15,9 @@
   Continuity
   ContNotDenum
   Countable
+  Determinants
   Efficient_Nat
   Enum
-  Euclidean_Space
   Eval_Witness
   Executable_Set
   Float