--- a/src/HOL/Library/Library.thy Tue Sep 16 09:21:22 2008 +0200 +++ b/src/HOL/Library/Library.thy Tue Sep 16 09:21:24 2008 +0200 @@ -19,7 +19,6 @@ Dense_Linear_Order Efficient_Nat Enum - Eval Eval_Witness Executable_Set "../Real/Float"