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