changeset 35032 | 7efe662e41b4 |
parent 34020 | 2573c794034c |
child 35039 | e682bb587071 |
1.1 --- a/src/HOL/Library/Library.thy Fri Feb 05 14:33:50 2010 +0100 1.2 +++ b/src/HOL/Library/Library.thy Mon Feb 08 14:06:41 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