
diff -r 0a3adceb9c67 -r 36c0a6dd8c6f src/HOL/Lattices.thy
--- a/src/HOL/Lattices.thy	Fri Feb 12 09:49:28 2010 +0100
+++ b/src/HOL/Lattices.thy	Fri Feb 12 14:28:01 2010 +0100
@@ -5,7 +5,7 @@
 header {* Abstract lattices *}
 
 theory Lattices
-imports Orderings
+imports Orderings Groups
 begin
 
 subsection {* Lattices *}




