author | slotosch |
Mon, 26 May 1997 14:54:24 +0200 | |
changeset 3351 | ed64b6799303 |
parent 3350 | a3abf29660e6 |
child 3352 | 04502e5431fb |
--- 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