--- 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