--- a/src/HOLCF/Porder.thy Sun Feb 19 01:40:13 2006 +0100
+++ b/src/HOLCF/Porder.thy Sun Feb 19 02:11:27 2006 +0100
@@ -6,7 +6,7 @@
header {* Partial orders *}
theory Porder
-imports Main
+imports Datatype
begin
subsection {* Type class for partial orders *}