src/HOLCF/Porder.thy
changeset 15577 e16da3068ad6
parent 15576 efb95d0d01f7
child 15587 f363e6e080e7
--- 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