src/HOL/Library/Library.thy
changeset 18397 2d94eb7ff17f
parent 17633 7daaa7fe9c96
child 19106 6e6b5b1fdc06
--- 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
 (*>*)