changeset 40920 | abd4e7358847 |
parent 40590 | 131cf8790a1c |
child 40921 | 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