src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Oct 03 15:20:33 2008 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 03 16:37:09 2008 +0200
@@ -216,6 +216,8 @@
   Tools/Groebner_Basis/misc.ML \
   Tools/Groebner_Basis/normalizer_data.ML \
   Tools/Groebner_Basis/normalizer.ML \
+  Tools/atp_manager.ML \
+  Tools/atp_thread.ML \
   Tools/meson.ML \
   Tools/metis_tools.ML \
   Tools/numeral.ML \
@@ -242,8 +244,7 @@
   Tools/TFL/thms.ML \
   Tools/TFL/thry.ML \
   Tools/TFL/usyntax.ML \
-  Tools/TFL/utils.ML \
-  Tools/watcher.ML
+  Tools/TFL/utils.ML
 
 $(OUT)/HOL-Main: main.ML $(MAIN_DEPENDENCIES)
 	@$(ISATOOL) usedir -b -f main.ML -g true $(OUT)/Pure HOL-Main