equal
deleted
inserted
replaced
27 HOL: |
27 HOL: |
28 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
28 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
29 |
29 |
30 $(OUT)/HOLCF: $(OUT)/HOL Cfun.ML Cfun.thy \ |
30 $(OUT)/HOLCF: $(OUT)/HOL Cfun.ML Cfun.thy \ |
31 Cont.ML Cont.thy Cprod.ML Cprod.thy \ |
31 Cont.ML Cont.thy Cprod.ML Cprod.thy \ |
32 Discrete.thy Fix.ML Fix.thy FunCpo.ML \ |
32 Discrete.thy Domain.thy Fix.ML Fix.thy FunCpo.ML \ |
33 FunCpo.thy HOLCF.ML HOLCF.thy Lift.ML \ |
33 FunCpo.thy HOLCF.ML HOLCF.thy Lift.ML \ |
34 Lift.thy One.ML One.thy Pcpo.ML Pcpo.thy Porder.ML Porder.thy \ |
34 Lift.thy One.ML One.thy Pcpo.ML Pcpo.thy Porder.ML Porder.thy \ |
35 ROOT.ML Sprod.ML Sprod.thy \ |
35 ROOT.ML Sprod.ML Sprod.thy \ |
36 Ssum.ML Ssum.thy \ |
36 Ssum.ML Ssum.thy \ |
37 Tr.ML Tr.thy Up.ML \ |
37 Tr.ML Tr.thy Up.ML \ |