src/HOLCF/IsaMakefile

        Fun1.thy Fun2.thy Fun3.thy \
        Cfun1.thy Cfun2.thy Cfun3.thy Cont.thy \
        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
 
 ONLYTHYS =