1.1 --- a/src/HOL/Library/Library.thy	Thu Jun 25 15:42:36 2009 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Jun 25 17:07:18 2009 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4    Char_ord
     1.5    Code_Char_chr
     1.6    Code_Integer
     1.7 +  Code_Set
     1.8    Coinductive_List
     1.9    Commutative_Ring
    1.10    Continuity