src/HOL/IsaMakefile
changeset 28477 9339d4dcec8b
parent 28476 706f8428e3c8
child 28500 4b79e5d3d0aa
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 03 15:20:33 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 03 16:37:09 2008 +0200
     1.3 @@ -216,6 +216,8 @@
     1.4    Tools/Groebner_Basis/misc.ML \
     1.5    Tools/Groebner_Basis/normalizer_data.ML \
     1.6    Tools/Groebner_Basis/normalizer.ML \
     1.7 +  Tools/atp_manager.ML \
     1.8 +  Tools/atp_thread.ML \
     1.9    Tools/meson.ML \
    1.10    Tools/metis_tools.ML \
    1.11    Tools/numeral.ML \
    1.12 @@ -242,8 +244,7 @@
    1.13    Tools/TFL/thms.ML \
    1.14    Tools/TFL/thry.ML \
    1.15    Tools/TFL/usyntax.ML \
    1.16 -  Tools/TFL/utils.ML \
    1.17 -  Tools/watcher.ML
    1.18 +  Tools/TFL/utils.ML
    1.19  
    1.20  $(OUT)/HOL-Main: main.ML $(MAIN_DEPENDENCIES)
    1.21  	@$(ISATOOL) usedir -b -f main.ML -g true $(OUT)/Pure HOL-Main