--- a/src/HOL/Library/Library.thy Mon Dec 26 22:17:10 2011 +0100 +++ b/src/HOL/Library/Library.thy Mon Dec 26 22:17:10 2011 +0100 @@ -33,7 +33,6 @@ Kleene_Algebra Mapping Monad_Syntax - More_List Multiset Numeral_Type Old_Recdef