changeset 39452 | 70a57e40f795 |
parent 39432 | 12d1be8ff862 |
child 39483 | 9f0e5684f04b |
child 39494 | bf7dd4902321 |
--- a/src/HOL/IsaMakefile Thu Sep 16 09:59:32 2010 +0200 +++ b/src/HOL/IsaMakefile Thu Sep 16 11:12:08 2010 +0200 @@ -268,6 +268,7 @@ $(SRC)/Tools/Metis/metis.ML \ Tools/async_manager.ML \ Tools/ATP/atp_problem.ML \ + Tools/ATP/atp_proof.ML \ Tools/ATP/atp_systems.ML \ Tools/choice_specification.ML \ Tools/int_arith.ML \