--- a/src/HOL/Library/Library.thy Mon Dec 07 09:21:14 2009 +0100 +++ b/src/HOL/Library/Library.thy Mon Dec 07 14:54:01 2009 +0100 @@ -14,7 +14,6 @@ Continuity ContNotDenum Countable - Crude_Executable_Set Diagonalize Efficient_Nat Enum