--- a/src/HOLCF/Lift3.thy Wed Jun 29 12:01:17 1994 +0200
+++ b/src/HOLCF/Lift3.thy Wed Jun 29 12:03:41 1994 +0200
@@ -18,7 +18,7 @@
rules
-inst_lift_pcpo "UU::('a)u = UU_lift"
+inst_lift_pcpo "(UU::('a)u) = UU_lift"
up_def "up == (LAM x.Iup(x))"
lift_def "lift == (LAM f p.Ilift(f)(p))"