changeset 2850 | a66196e1668c |
parent 2640 | ee4dfce170a0 |
child 3310 | 0ceaad3c3f52 |
--- a/src/HOLCF/Porder0.thy Tue Apr 01 09:28:56 1997 +0200 +++ b/src/HOLCF/Porder0.thy Tue Apr 01 11:16:06 1997 +0200 @@ -11,7 +11,7 @@ (* first the global constant for HOLCF type classes *) consts - "less" :: "['a,'a] => bool" (infixl "\\<sqsubseteq>\\<sqsubseteq>" 55) + "less" :: "['a,'a] => bool" axclass po < term (* class axioms: *)