--- a/src/HOL/Library/Library.thy Fri Feb 06 15:15:27 2009 +0100 +++ b/src/HOL/Library/Library.thy Fri Feb 06 15:15:32 2009 +0100 @@ -15,7 +15,6 @@ Continuity ContNotDenum Countable - Dense_Linear_Order Efficient_Nat Enum Eval_Witness