1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 08 14:04:51 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 08 14:08:32 2010 +0100
     1.3 @@ -28,6 +28,7 @@
     1.4    Fundamental_Theorem_Algebra
     1.5    Infinite_Set
     1.6    Inner_Product
     1.7 +  Lattice_Algebras
     1.8    Lattice_Syntax
     1.9    ListVector
    1.10    Kleene_Algebra