diff -r f9681d9d1d56 -r efc202e1677e src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Thu May 20 16:35:53 2010 +0200
+++ b/src/HOL/Library/Library.thy	Thu May 20 16:35:54 2010 +0200
@@ -34,6 +34,7 @@
   ListVector
   Kleene_Algebra
   Mapping
+  More_List
   Multiset
   Nat_Infinity
   Nested_Environment