
diff -r 7dd37f4c755b -r 2573c794034c src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Mon Dec 07 09:21:14 2009 +0100
+++ b/src/HOL/Library/Library.thy	Mon Dec 07 14:54:01 2009 +0100
@@ -14,7 +14,6 @@
   Continuity
   ContNotDenum
   Countable
-  Crude_Executable_Set
   Diagonalize
   Efficient_Nat
   Enum




