# HG changeset patch
# User slotosch
# Date 864647463 -7200
# Node ID a3abf29660e67b84e5793a49ee4d15d3bad0f7d6
# Parent  943d1630f003f88ad81a569a5a7acbf84b97d99d
removed ccc1

diff -r 943d1630f003 -r a3abf29660e6 src/HOLCF/IsaMakefile
--- 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