
diff -r 1711be44e76a -r 73f84bf0c6ac src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Sun Aug 28 08:12:54 2011 +0200
+++ b/src/HOL/Library/Library.thy	Sun Aug 28 08:13:30 2011 +0200
@@ -31,7 +31,6 @@
   Lattice_Algebras
   Lattice_Syntax
   ListVector
-  List_Cset
   Kleene_Algebra
   Mapping
   Monad_Syntax




