1.1 --- a/src/HOL/Library/Library.thy	Sun Nov 29 12:56:30 2009 +1100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Dec 02 17:53:34 2009 +0100
     1.3 @@ -14,6 +14,7 @@
     1.4    Continuity
     1.5    ContNotDenum
     1.6    Countable
     1.7 +  Crude_Executable_Set
     1.8    Diagonalize
     1.9    Efficient_Nat
    1.10    Enum