changeset 37583 | 9ce2451647d5 |
parent 37578 | 9367cb36b1c4 |
child 37655 | f4d616d41a59 |
--- a/src/HOL/IsaMakefile Fri Jun 25 18:03:01 2010 +0200 +++ b/src/HOL/IsaMakefile Fri Jun 25 18:05:36 2010 +0200 @@ -267,6 +267,7 @@ $(SRC)/Provers/Arith/extract_common_term.ML \ $(SRC)/Tools/cache_io.ML \ $(SRC)/Tools/Metis/metis.ML \ + Tools/ATP_Manager/async_manager.ML \ Tools/ATP_Manager/atp_manager.ML \ Tools/ATP_Manager/atp_systems.ML \ Tools/choice_specification.ML \