--- a/src/HOL/Library/Library.thy Mon Nov 22 11:34:55 2010 +0100 +++ b/src/HOL/Library/Library.thy Mon Nov 22 11:34:56 2010 +0100 @@ -14,7 +14,6 @@ Countable Diagonalize Dlist - Enum Eval_Witness Float Formal_Power_Series