changeset 2841 | c2508f4ab739 |
parent 2640 | ee4dfce170a0 |
child 3324 | 6b26b886ff69 |
--- a/src/HOLCF/ccc1.thy Wed Mar 26 13:44:05 1997 +0100 +++ b/src/HOLCF/ccc1.thy Wed Mar 26 17:58:48 1997 +0100 @@ -12,8 +12,8 @@ instance flat<chfin (flat_subclass_chfin) consts - ID :: "'a -> 'a" - cfcomp :: "('b->'c)->('a->'b)->'a->'c" + ID :: "('a::cpo) -> 'a" + cfcomp :: "('b->'c)->(('a::cpo)->('b::cpo))->'a->('c::cpo)" syntax "@oo" :: "('b->'c)=>('a->'b)=>'a->'c" ("_ oo _" [101,100] 100)