src/HOL/Library/Library.thy
changeset 34020 2573c794034c
parent 33938 7ed48b28bb7f
child 35029 22aab1c5e5a8
child 35032 7efe662e41b4
     1.1 --- a/src/HOL/Library/Library.thy	Mon Dec 07 09:21:14 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Dec 07 14:54:01 2009 +0100
     1.3 @@ -14,7 +14,6 @@
     1.4    Continuity
     1.5    ContNotDenum
     1.6    Countable
     1.7 -  Crude_Executable_Set
     1.8    Diagonalize
     1.9    Efficient_Nat
    1.10    Enum