--- a/src/HOLCF/Lift1.thy Sun May 25 16:59:40 1997 +0200 +++ b/src/HOLCF/Lift1.thy Sun May 25 18:45:25 1997 +0200 @@ -6,7 +6,7 @@ Lifting types of class term to flat pcpo's *) -Lift1 = ccc1 + +Lift1 = Cprod3 + default term