src/HOL/IsaMakefile
changeset 28476 706f8428e3c8
parent 28401 d5f39173444c
child 28477 9339d4dcec8b
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 03 14:07:41 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 03 15:20:33 2008 +0200
     1.3 @@ -227,9 +227,7 @@
     1.4    Tools/Qelim/presburger.ML \
     1.5    Tools/Qelim/qelim.ML \
     1.6    Tools/recdef_package.ML \
     1.7 -  Tools/res_atp_methods.ML \
     1.8    Tools/res_atp.ML \
     1.9 -  Tools/res_atp_provers.ML \
    1.10    Tools/res_axioms.ML \
    1.11    Tools/res_clause.ML \
    1.12    Tools/res_hol_clause.ML \