
diff -r dee1c7f1f576 -r 2e908f29bc3d src/HOLCF/Cfun3.thy
--- a/src/HOLCF/Cfun3.thy	Tue Mar 25 10:43:01 1997 +0100
+++ b/src/HOLCF/Cfun3.thy	Tue Mar 25 11:13:12 1997 +0100
@@ -9,7 +9,10 @@
 
 Cfun3 = Cfun2 +
 
-instance "->" :: (pcpo,pcpo)pcpo              (least_cfun,cpo_cfun)
+instance "->" :: (cpo,cpo)cpo              (cpo_cfun)
+instance "->" :: (cpo,pcpo)pcpo            (least_cfun)
+
+default pcpo
 
 consts  
         Istrictify   :: "('a->'b)=>'a=>'b"




