# HG changeset patch
# User haftmann
# Date 1163428983 -3600
# Node ID c33cdc5a6c7c897278a181c5a65caa4cc98a6687
# Parent  df6392bda69308b94c92938ab27d0f4429ebac6f
added LOrder dependency

diff -r df6392bda693 -r c33cdc5a6c7c src/HOL/FixedPoint.thy
--- 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 *}