diff -r 2d7e1ab55037 -r ecb746bca732 Admin/Benchmarks/HOL-datatype/IsaMakefile
--- a/Admin/Benchmarks/HOL-datatype/IsaMakefile	Sat Oct 17 15:42:36 2009 +0200
+++ b/Admin/Benchmarks/HOL-datatype/IsaMakefile	Sat Oct 17 15:55:57 2009 +0200
@@ -20,13 +20,13 @@
 ## HOL-datatype
 
 HOL:
-	@cd $(SRC)/HOL; $(ISATOOL) make HOL
+	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
 
 HOL-datatype: HOL $(LOG)/HOL-datatype.gz
 
 $(LOG)/HOL-datatype.gz: $(OUT)/HOLBrackin.thy Instructions.thy SML.thy \
   Verilog.thy
-	@cd ..; $(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
+	@cd ..; $(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
 
 
 ## clean