| changeset 46321 | 484dc68c8c89 |
| parent 46320 | 0b8b73b49848 |
| child 46324 | e4bccf5ec61e |
--- a/src/HOL/IsaMakefile Mon Jan 23 17:40:32 2012 +0100 +++ b/src/HOL/IsaMakefile Mon Jan 23 17:40:32 2012 +0100 @@ -1169,9 +1169,9 @@ $(LOG)/HOL-TPTP.gz: \ $(OUT)/HOL \ TPTP/ROOT.ML \ - TPTP/ATP_Export.thy \ - TPTP/CASC_Setup.thy \ - TPTP/atp_export.ML + TPTP/atp_theory_export.ML \ + TPTP/ATP_Theory_Export.thy \ + TPTP/CASC_Setup.thy @$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP