src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Jan 14 03:58:30 2008 +0100
+++ b/src/HOL/Library/Library.thy	Mon Jan 14 11:45:57 2008 +0100
@@ -20,6 +20,7 @@
   FuncSet
   GCD
   Infinite_Set
+  ListSpace
   Multiset
   NatPair
   Nat_Infinity