equal
deleted
inserted
replaced
24 |
24 |
25 Pure: |
25 Pure: |
26 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
26 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
27 |
27 |
28 $(OUT)/FOLP: $(OUT)/Pure FOLP.thy IFOLP.thy ROOT.ML classical.ML \ |
28 $(OUT)/FOLP: $(OUT)/Pure FOLP.thy IFOLP.thy ROOT.ML classical.ML \ |
29 hypsubst.ML intprover.ML simp.ML simpdata.ML |
29 hypsubst.ML intprover.ML simp.ML simpdata.ML $(SRC)/Tools/misc_legacy.ML |
30 @$(ISABELLE_TOOL) usedir -b $(OUT)/Pure FOLP |
30 @$(ISABELLE_TOOL) usedir -b $(OUT)/Pure FOLP |
31 |
31 |
32 |
32 |
33 ## FOLP-ex |
33 ## FOLP-ex |
34 |
34 |