src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sun Nov 29 12:56:30 2009 +1100
+++ b/src/HOL/Library/Library.thy	Wed Dec 02 17:53:34 2009 +0100
@@ -14,6 +14,7 @@
   Continuity
   ContNotDenum
   Countable
+  Crude_Executable_Set
   Diagonalize
   Efficient_Nat
   Enum