diff -r eff93bc3c14f -r 4b79e5d3d0aa src/FOLP/IsaMakefile
--- 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