
diff -r 5e46057ba8e0 -r abd4e7358847 src/HOL/Library/Library.thy
--- 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




