src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue Dec 13 18:11:21 2005 +0100
+++ b/src/HOL/Library/Library.thy	Tue Dec 13 19:32:04 2005 +0100
@@ -20,6 +20,7 @@
   Zorn
   Char_ord
   Commutative_Ring
+  Coinductive_List
 begin
 end
 (*>*)