--- a/src/HOLCF/Lift1.thy Fri Jul 24 13:39:47 1998 +0200 +++ b/src/HOLCF/Lift1.thy Fri Jul 24 13:44:27 1998 +0200 @@ -6,7 +6,7 @@ Lifting types of class term to flat pcpo's *) -Lift1 = Cprod3 + +Lift1 = Cprod3 + Datatype + default term