# HG changeset patch
# User slotosch
# Date 864651264 -7200
# Node ID ed64b6799303c5f9a2be129142e9a1af945fc14e
# Parent  a3abf29660e67b84e5793a49ee4d15d3bad0f7d6
remoded ccc1

diff -r a3abf29660e6 -r ed64b6799303 src/HOLCF/Makefile
--- 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