
diff -r 237ba63d6041 -r 56101fa00193 src/HOL/Library/Lattice_Syntax.thy
--- a/src/HOL/Library/Lattice_Syntax.thy	Sat Sep 10 00:44:25 2011 +0200
+++ b/src/HOL/Library/Lattice_Syntax.thy	Sat Sep 10 10:29:24 2011 +0200
@@ -3,7 +3,7 @@
 header {* Pretty syntax for lattice operations *}
 
 theory Lattice_Syntax
-imports Complete_Lattice
+imports Complete_Lattices
 begin
 
 notation




