--- a/src/HOL/Library/Library.thy Mon Nov 22 17:46:51 2010 +0100 +++ b/src/HOL/Library/Library.thy Mon Nov 22 17:49:12 2010 +0100 @@ -14,7 +14,6 @@ Countable Diagonalize Dlist - Enum Eval_Witness Float Formal_Power_Series