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.
removed ccc1
authorslotosch
Mon, 26 May 1997 13:51:03 +0200
changeset 3350 a3abf29660e6
parent 3349 943d1630f003
child 3351 ed64b6799303
removed ccc1
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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