--- a/src/HOL/Library/Library.thy Sun Oct 01 18:29:25 2006 +0200
+++ b/src/HOL/Library/Library.thy Sun Oct 01 18:29:26 2006 +0200
@@ -1,3 +1,4 @@
+(* $Id$ *)
(*<*)
theory Library
imports
@@ -23,6 +24,7 @@
Commutative_Ring
Coinductive_List
AssocList
+ Infinite_Set
begin
end
(*>*)