src/HOL/Library/Library.thy
changeset 31849 431d8588bcad
parent 31807 039893a9a77d
child 31990 1d4d0b305f16
     1.1 --- a/src/HOL/Library/Library.thy	Mon Jun 29 12:18:54 2009 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Jun 29 12:18:55 2009 +0200
     1.3 @@ -10,7 +10,6 @@
     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
    1.11 @@ -28,6 +27,7 @@
    1.12    Formal_Power_Series
    1.13    Fraction_Field
    1.14    FrechetDeriv
    1.15 +  Fset
    1.16    FuncSet
    1.17    Fundamental_Theorem_Algebra
    1.18    Infinite_Set