--- a/src/HOL/Library/Library.thy Thu Jun 25 15:42:36 2009 +0200 +++ b/src/HOL/Library/Library.thy Thu Jun 25 17:07:18 2009 +0200 @@ -10,6 +10,7 @@ Char_ord Code_Char_chr Code_Integer + Code_Set Coinductive_List Commutative_Ring Continuity