src/HOLCF/Cont.thy
changeset 2838 2e908f29bc3d
parent 1479 21eb5e156d91
child 3323 194ae2e0c193
--- 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