--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/Lift.thy	Mon Feb 17 10:57:11 1997 +0100
@@ -0,0 +1,16 @@
+(*  Title:      HOLCF/Lift.thy
+    ID:         $Id$
+    Author:     Oscar Slotosch
+    Copyright   1997 Technische Universitaet Muenchen
+*)
+
+Lift = Lift3 + 
+
+instance lift :: (term)flat (ax_flat_lift)
+
+default pcpo
+
+end
+
+
+