# HG changeset patch
# User wenzelm
# Date 1270129050 -7200
# Node ID 54a9f56fae7c210a55e85aa9a668cbaeae2ad4e2
# Parent  bcfdfc660991042fa864416631951a0653a73c24
slightly more standard dependencies;

diff -r bcfdfc660991 -r 54a9f56fae7c src/HOL/IsaMakefile
--- 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