# HG changeset patch
# User haftmann
# Date 1162904528 -3600
# Node ID c81f016883df536ad79850b0ba1fd423b359fa07
# Parent  547224bf93481f03efda9f8cce9a06da6586cba2
changed import order

diff -r 547224bf9348 -r c81f016883df 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 {*