--- a/src/HOLCF/Lift.thy Fri Mar 04 18:53:46 2005 +0100 +++ b/src/HOLCF/Lift.thy Fri Mar 04 23:12:36 2005 +0100 @@ -5,7 +5,7 @@ header {* Lifting types of class type to flat pcpo's *} -theory Lift = Cprod3: +theory Lift = Cprod: defaultsort type