
diff -r 3ff8c79a9e2f -r e2f0176149d0 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Fri Mar 30 17:25:34 2012 +0200
+++ b/src/HOL/Library/Library.thy	Fri Mar 30 18:56:02 2012 +0200
@@ -12,15 +12,12 @@
   ContNotDenum
   Convex
   Countable
-  Cset_Monad
-  Dlist_Cset
   Eval_Witness
   Extended_Nat
   Float
   Formal_Power_Series
   Fraction_Field
   FrechetDeriv
-  Cset
   FuncSet
   Function_Algebras
   Fundamental_Theorem_Algebra




