src/HOL/Library/Library.thy
changeset 33938 7ed48b28bb7f
parent 33649 854173fcd21c
child 34020 2573c794034c
     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