--- a/src/HOL/Library/Library.thy Sat Mar 13 16:44:12 2010 +0100 +++ b/src/HOL/Library/Library.thy Sat Mar 13 17:19:12 2010 +0100 @@ -10,7 +10,6 @@ Char_ord Code_Char_chr Code_Integer - Coinductive_List Continuity ContNotDenum Countable