src/HOL/Library/Library.thy
changeset 40672 abd4e7358847
parent 40349 131cf8790a1c
child 40673 3b9b39ac1f24
     1.1 --- a/src/HOL/Library/Library.thy	Mon Nov 22 09:37:39 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Nov 22 17:46:51 2010 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4    Formal_Power_Series
     1.5    Fraction_Field
     1.6    FrechetDeriv
     1.7 -  Fset
     1.8 +  Cset
     1.9    FuncSet
    1.10    Function_Algebras
    1.11    Fundamental_Theorem_Algebra