Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remoded ccc1
authorslotosch
Mon, 26 May 1997 14:54:24 +0200
changeset 3351 ed64b6799303
parent 3350 a3abf29660e6
child 3352 04502e5431fb
remoded ccc1
src/HOLCF/Makefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Makefile	Mon May 26 13:51:03 1997 +0200
+++ b/src/HOLCF/Makefile	Mon May 26 14:54:24 1997 +0200
@@ -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 \
-       Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy \
+       Up1.thy Up2.thy Up3.thy Fix.thy \
        One.thy Tr.thy \
        Lift1.thy Lift2.thy Lift3.thy Lift.thy HOLCF.thy
isabelle