--- a/src/HOLCF/Cprod3.thy Wed Jun 29 12:01:17 1994 +0200
+++ b/src/HOLCF/Cprod3.thy Wed Jun 29 12:03:41 1994 +0200
@@ -22,7 +22,7 @@
rules
-inst_cprod_pcpo "UU::'a*'b = <UU,UU>"
+inst_cprod_pcpo "(UU::'a*'b) = <UU,UU>"
cpair_def "cpair == (LAM x y.<x,y>)"
cfst_def "cfst == (LAM p.fst(p))"