src/HOLCF/IsaMakefile

--- a/src/HOLCF/IsaMakefile	Sun May 25 11:07:52 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Sun May 25 16:17:09 1997 +0200
@@ -17,9 +17,9 @@
        Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy \
        One.thy Tr.thy\
        Discrete0.thy Discrete1.thy Discrete.thy\
-       Lift1.thy Lift2.thy Lift3.thy HOLCF.thy
+       Lift1.thy Lift2.thy Lift3.thy Lift.thy HOLCF.thy
 
-ONLYTHYS = Lift.thy
+ONLYTHYS = 
 
 FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) \
         ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \