--- a/src/HOL/Library/Library.thy Mon Nov 22 09:37:39 2010 +0100
+++ b/src/HOL/Library/Library.thy Mon Nov 22 17:46:51 2010 +0100
@@ -20,7 +20,7 @@
Formal_Power_Series
Fraction_Field
FrechetDeriv
- Fset
+ Cset
FuncSet
Function_Algebras
Fundamental_Theorem_Algebra