--- a/src/HOLCF/Porder0.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOLCF/Porder0.thy Sat Dec 01 18:52:32 2001 +0100
@@ -9,7 +9,7 @@
Porder0 = Main +
(* introduce a (syntactic) class for the constant << *)
-axclass sq_ord<term
+axclass sq_ord < type
(* characteristic constant << for po *)
consts