src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Jul 03 18:15:39 2008 +0200
+++ b/src/HOL/Library/Library.thy	Thu Jul 03 18:16:40 2008 +0200
@@ -24,6 +24,7 @@
   "../Real/Float"
   FuncSet
   Imperative_HOL
+  Infinite_Set
   ListVector
   Multiset
   NatPair
@@ -41,6 +42,7 @@
   State_Monad
   While_Combinator
   Word
+  Zorn
 begin
 end
 (*>*)