diff -r efb95d0d01f7 -r e16da3068ad6 src/HOLCF/Porder.thy
--- a/src/HOLCF/Porder.thy	Fri Mar 04 23:12:36 2005 +0100
+++ b/src/HOLCF/Porder.thy	Fri Mar 04 23:23:47 2005 +0100
@@ -9,7 +9,9 @@
 
 header {* Type class of partial orders *}
 
-theory Porder = Main:
+theory Porder
+imports Main
+begin
 
 	(* introduce a (syntactic) class for the constant << *)
 axclass sq_ord < type