--- a/src/HOLCF/Cont.thy Tue Mar 25 10:43:01 1997 +0100
+++ b/src/HOLCF/Cont.thy Tue Mar 25 11:13:12 1997 +0100
@@ -16,12 +16,12 @@
*)
-default pcpo
+default po
consts
- monofun :: "('a::po => 'b::po) => bool" (* monotonicity *)
- contlub :: "('a => 'b) => bool" (* first cont. def *)
- cont :: "('a => 'b) => bool" (* secnd cont. def *)
+ monofun :: "('a => 'b) => bool" (* monotonicity *)
+ contlub :: "('a::cpo => 'b::cpo) => bool" (* first cont. def *)
+ cont :: "('a::cpo => 'b::cpo) => bool" (* secnd cont. def *)
defs