Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Makefile
changeset 3324 6b26b886ff69
parent 3190 5aa3756a4bf2
child 3351 ed64b6799303 
--- a/src/HOLCF/Makefile	Sun May 25 11:07:52 1997 +0200
+++ b/src/HOLCF/Makefile	Sun May 25 16:17:09 1997 +0200
@@ -29,9 +29,9 @@
        Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \
        Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy \
        One.thy Tr.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 \
isabelle