added LOrder dependency

--- a/src/HOL/FixedPoint.thy	Mon Nov 13 15:43:00 2006 +0100
+++ b/src/HOL/FixedPoint.thy	Mon Nov 13 15:43:03 2006 +0100
@@ -8,7 +8,7 @@
 header{* Fixed Points and the Knaster-Tarski Theorem*}
 
 theory FixedPoint
-imports Product_Type
+imports Product_Type LOrder
 begin
 
 subsection {* Complete lattices *}