--- a/src/FOLP/IsaMakefile Sat Oct 04 16:05:08 2008 +0200
+++ b/src/FOLP/IsaMakefile Sat Oct 04 16:05:09 2008 +0200
@@ -24,11 +24,11 @@
FOLP: Pure $(OUT)/FOLP
Pure:
- @cd $(SRC)/Pure; $(ISATOOL) make Pure
+ @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
$(OUT)/FOLP: $(OUT)/Pure FOLP.thy IFOLP.thy ROOT.ML classical.ML \
hypsubst.ML intprover.ML simp.ML simpdata.ML
- @$(ISATOOL) usedir -b $(OUT)/Pure FOLP
+ @$(ISABELLE_TOOL) usedir -b $(OUT)/Pure FOLP
## FOLP-ex
@@ -40,7 +40,7 @@
ex/Prolog.ML ex/Prolog.thy ex/Propositional_Int.thy \
ex/Propositional_Cla.thy ex/Quantifiers_Int.thy \
ex/Quantifiers_Cla.thy
- @$(ISATOOL) usedir $(OUT)/FOLP ex
+ @$(ISABELLE_TOOL) usedir $(OUT)/FOLP ex
## clean