--- a/src/HOL/IsaMakefile Thu Apr 01 12:19:37 2010 +0200
+++ b/src/HOL/IsaMakefile Thu Apr 01 15:37:30 2010 +0200
@@ -99,8 +99,7 @@
$(OUT)/Pure: Pure
-BASE_DEPENDENCIES = $(SRC)/HOL/Tools/Sledgehammer/named_thm_set.ML \
- $(OUT)/Pure \
+BASE_DEPENDENCIES = $(OUT)/Pure \
$(SRC)/Provers/blast.ML \
$(SRC)/Provers/clasimp.ML \
$(SRC)/Provers/classical.ML \
@@ -136,9 +135,10 @@
$(SRC)/Tools/random_word.ML \
$(SRC)/Tools/value.ML \
HOL.thy \
+ Tools/Sledgehammer/named_thm_set.ML \
Tools/hologic.ML \
Tools/recfun_codegen.ML \
- Tools/simpdata.ML \
+ Tools/simpdata.ML
$(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES)
@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base