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/IsaMakefile
changeset 3350 a3abf29660e6
parent 3324 6b26b886ff69
child 3505 1cb4ea47d967 
--- a/src/HOLCF/IsaMakefile	Mon May 26 13:45:39 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Mon May 26 13:51:03 1997 +0200
@@ -14,7 +14,7 @@
        Cprod1.thy Cprod2.thy Cprod3.thy \
        Sprod0.thy Sprod1.thy Sprod2.thy Sprod3.thy \
        Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \
-       Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy \
+       Up1.thy Up2.thy Up3.thy Fix.thy \
        One.thy Tr.thy\
        Discrete0.thy Discrete1.thy Discrete.thy\
        Lift1.thy Lift2.thy Lift3.thy Lift.thy HOLCF.thy
isabelle