src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Wed Mar 17 19:26:05 2010 +0100
+++ b/src/HOL/IsaMakefile	Wed Mar 17 19:37:44 2010 +0100
@@ -246,7 +246,6 @@
 	@$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
 
 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
-  ATP_Linkup.thy \
   Big_Operators.thy \
   Code_Evaluation.thy \
   Code_Numeral.thy \
@@ -271,6 +270,7 @@
   Random_Sequence.thy \
   Recdef.thy \
   SetInterval.thy \
+  Sledgehammer.thy \
   String.thy \
   Typerep.thy \
   $(SRC)/Provers/Arith/assoc_fold.ML \