src/HOLCF/IsaMakefile
changeset 3350 a3abf29660e6
parent 3324 6b26b886ff69
child 3505 1cb4ea47d967
     1.1 --- a/src/HOLCF/IsaMakefile	Mon May 26 13:45:39 1997 +0200
     1.2 +++ b/src/HOLCF/IsaMakefile	Mon May 26 13:51:03 1997 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4         Cprod1.thy Cprod2.thy Cprod3.thy \
     1.5         Sprod0.thy Sprod1.thy Sprod2.thy Sprod3.thy \
     1.6         Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \
     1.7 -       Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy \
     1.8 +       Up1.thy Up2.thy Up3.thy Fix.thy \
     1.9         One.thy Tr.thy\
    1.10         Discrete0.thy Discrete1.thy Discrete.thy\
    1.11         Lift1.thy Lift2.thy Lift3.thy Lift.thy HOLCF.thy