diff -r 06191c5f3686 -r cfed65476db7 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Oct 25 12:24:38 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 25 13:36:20 2010 +0200
@@ -144,6 +144,7 @@
 	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
 
 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES) \
+  ATP.thy \
   Complete_Lattice.thy \
   Complete_Partial_Order.thy \
   Datatype.thy \
@@ -169,6 +170,7 @@
   Rings.thy \
   SAT.thy \
   Set.thy \
+  Sledgehammer.thy \
   Sum_Type.thy \
   Tools/abel_cancel.ML \
   Tools/arith_data.ML \
@@ -237,7 +239,6 @@
 	@$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
 
 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
-  ATP.thy \
   Big_Operators.thy \
   Code_Evaluation.thy \
   Code_Numeral.thy \
@@ -268,7 +269,6 @@
   Refute.thy \
   Semiring_Normalization.thy \
   SetInterval.thy \
-  Sledgehammer.thy \
   SMT.thy \
   String.thy \
   Typerep.thy \