--- 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 (*>*)