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