--- a/src/HOL/Library/Library.thy Mon Feb 08 14:04:51 2010 +0100
+++ b/src/HOL/Library/Library.thy Mon Feb 08 14:08:32 2010 +0100
@@ -28,6 +28,7 @@
Fundamental_Theorem_Algebra
Infinite_Set
Inner_Product
+ Lattice_Algebras
Lattice_Syntax
ListVector
Kleene_Algebra