diff -r debf9ef73e4e -r c505fc950cbe src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Fri Jul 05 11:17:42 2002 +0200
+++ b/src/FOL/IsaMakefile	Fri Jul 05 11:18:05 2002 +0200
@@ -26,6 +26,8 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
+$(OUT)/Pure: Pure
+
 $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	$(SRC)/Provers/make_elim.ML \
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML \