src/HOL/IsaMakefile
changeset 28592 824f8390aaa2
parent 28500 4b79e5d3d0aa
child 28612 a024b0cef522
     1.1 --- a/src/HOL/IsaMakefile	Tue Oct 14 15:45:46 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Oct 14 16:01:36 2008 +0200
     1.3 @@ -217,7 +217,7 @@
     1.4    Tools/Groebner_Basis/normalizer_data.ML \
     1.5    Tools/Groebner_Basis/normalizer.ML \
     1.6    Tools/atp_manager.ML \
     1.7 -  Tools/atp_thread.ML \
     1.8 +  Tools/atp_wrapper.ML \
     1.9    Tools/meson.ML \
    1.10    Tools/metis_tools.ML \
    1.11    Tools/numeral.ML \