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