equal
deleted
inserted
replaced
21 Cfun1.thy Cfun2.thy Cfun3.thy Cont.thy \ |
21 Cfun1.thy Cfun2.thy Cfun3.thy Cont.thy \ |
22 Cprod1.thy Cprod2.thy Cprod3.thy \ |
22 Cprod1.thy Cprod2.thy Cprod3.thy \ |
23 Sprod0.thy Sprod1.thy Sprod2.thy Sprod3.thy \ |
23 Sprod0.thy Sprod1.thy Sprod2.thy Sprod3.thy \ |
24 Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \ |
24 Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \ |
25 Lift1.thy Lift2.thy Lift3.thy Fix.thy ccc1.thy One.thy \ |
25 Lift1.thy Lift2.thy Lift3.thy Fix.thy ccc1.thy One.thy \ |
26 Tr1.thy Tr2.thy HOLCF.thy Dnat.thy Dnat2.thy \ |
26 Tr1.thy Tr2.thy HOLCF.thy |
27 Stream.thy Stream2.thy Dlist.thy |
|
28 |
27 |
29 FILES = ROOT.ML Porder0.thy $(THYS) $(THYS:.thy=.ML) |
28 FILES = ROOT.ML Porder0.thy $(THYS) $(THYS:.thy=.ML) |
30 |
29 |
31 $(BIN)/HOLCF: $(BIN)/HOL $(FILES) |
30 $(BIN)/HOLCF: $(BIN)/HOL $(FILES) |
32 case "$(COMP)" in \ |
31 case "$(COMP)" in \ |