src/HOL/Library/Library.thy
changeset 40673 3b9b39ac1f24
parent 40672 abd4e7358847
parent 40650 d40b347d5b0b
child 41474 60d091240485
     1.1 --- a/src/HOL/Library/Library.thy	Mon Nov 22 17:46:51 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Nov 22 17:49:12 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