--- a/src/HOL/Library/Library.thy Sat Apr 05 01:04:46 2014 +0100 +++ b/src/HOL/Library/Library.thy Sat Apr 05 10:01:07 2014 +0200 @@ -33,6 +33,7 @@ Lattice_Algebras Lattice_Syntax ListVector + Lubs_Glbs Kleene_Algebra Mapping Monad_Syntax