--- a/src/HOL/Library/Library.thy Fri Oct 30 01:32:06 2009 +0100 +++ b/src/HOL/Library/Library.thy Fri Oct 30 13:59:49 2009 +0100 @@ -11,7 +11,6 @@ Code_Char_chr Code_Integer Coinductive_List - Commutative_Ring Continuity ContNotDenum Countable