--- a/src/HOL/IsaMakefile Tue Jul 29 13:16:54 2008 +0200
+++ b/src/HOL/IsaMakefile Tue Jul 29 14:07:23 2008 +0200
@@ -69,6 +69,8 @@
Pure:
@cd $(SRC)/Pure; $(ISATOOL) make Pure
+$(OUT)/Pure: Pure
+
$(OUT)/HOL-Plain: $(OUT)/Pure \
plain.ML \
Code_Setup.thy \