src/HOL/LOrder.thy

--- a/src/HOL/LOrder.thy	Wed Nov 08 19:46:10 2006 +0100
+++ b/src/HOL/LOrder.thy	Wed Nov 08 19:48:34 2006 +0100
@@ -6,7 +6,7 @@
 header {* Lattice Orders *}
 
 theory LOrder
-imports Lattice_Locales
+imports Lattices
 begin
 
 text {*