--- a/src/HOLCF/Ssum3.thy Wed Jun 29 12:01:17 1994 +0200
+++ b/src/HOLCF/Ssum3.thy Wed Jun 29 12:03:41 1994 +0200
@@ -17,7 +17,7 @@
rules
-inst_ssum_pcpo "UU::'a++'b = Isinl(UU)"
+inst_ssum_pcpo "(UU::'a++'b) = Isinl(UU)"
sinl_def "sinl == (LAM x.Isinl(x))"
sinr_def "sinr == (LAM x.Isinr(x))"