src/HOL/Library/Library.thy
changeset 40650 d40b347d5b0b
parent 40349 131cf8790a1c
child 40673 3b9b39ac1f24
     1.1 --- a/src/HOL/Library/Library.thy	Mon Nov 22 11:34:55 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Nov 22 11:34:56 2010 +0100
     1.3 @@ -14,7 +14,6 @@
     1.4    Countable
     1.5    Diagonalize
     1.6    Dlist
     1.7 -  Enum
     1.8    Eval_Witness
     1.9    Float
    1.10    Formal_Power_Series