src/HOL/Library/Library.thy
changeset 35763 765f8adf10f9
parent 35617 a6528fb99641
child 36147 b43b22f63665
     1.1 --- a/src/HOL/Library/Library.thy	Sat Mar 13 16:44:12 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sat Mar 13 17:19:12 2010 +0100
     1.3 @@ -10,7 +10,6 @@
     1.4    Char_ord
     1.5    Code_Char_chr
     1.6    Code_Integer
     1.7 -  Coinductive_List
     1.8    Continuity
     1.9    ContNotDenum
    1.10    Countable