src/HOL/LOrder.thy

--- a/src/HOL/LOrder.thy	Tue Nov 07 12:20:11 2006 +0100
+++ b/src/HOL/LOrder.thy	Tue Nov 07 14:02:08 2006 +0100
@@ -6,7 +6,7 @@
 header {* Lattice Orders *}
 
 theory LOrder
-imports Orderings
+imports Lattice_Locales
 begin
 
 text {*