
diff -r b39256df5f8a -r b7b905b23b2a src/HOL/Library/Library.thy
--- 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




