--- a/src/HOL/Library/Library.thy Mon Oct 26 09:03:57 2009 +0100 +++ b/src/HOL/Library/Library.thy Mon Oct 26 11:19:24 2009 +0100 @@ -20,7 +20,6 @@ Enum Eval_Witness Executable_Set - Fin_Fun Float Formal_Power_Series Fraction_Field