--- a/src/HOL/Library/Library.thy Wed Aug 17 10:03:58 2011 +0200 +++ b/src/HOL/Library/Library.thy Wed Aug 17 13:14:20 2011 +0200 @@ -37,7 +37,6 @@ Monad_Syntax More_List Multiset - Nested_Environment Numeral_Type Old_Recdef OptionalSugar