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 2275 dbce3dce821a
parent 2235 866dbb04816c
child 2445 51993fea433f 
--- a/src/HOLCF/Makefile	Thu Nov 28 15:56:04 1996 +0100
+++ b/src/HOLCF/Makefile	Fri Nov 29 12:15:33 1996 +0100
@@ -27,7 +27,7 @@
        Cprod1.thy Cprod2.thy Cprod3.thy \
        Sprod0.thy Sprod1.thy Sprod2.thy Sprod3.thy \
        Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \
-       Lift1.thy Lift2.thy Lift3.thy Fix.thy ccc1.thy One.thy \
+       Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy One.thy \
        Tr1.thy Tr2.thy HOLCF.thy 
 
 FILES = ROOT.ML Porder0.thy  $(THYS) $(THYS:.thy=.ML)
isabelle