equal
deleted
inserted
replaced
266 $(SRC)/Provers/Arith/combine_numerals.ML \ |
266 $(SRC)/Provers/Arith/combine_numerals.ML \ |
267 $(SRC)/Provers/Arith/extract_common_term.ML \ |
267 $(SRC)/Provers/Arith/extract_common_term.ML \ |
268 $(SRC)/Tools/Metis/metis.ML \ |
268 $(SRC)/Tools/Metis/metis.ML \ |
269 Tools/async_manager.ML \ |
269 Tools/async_manager.ML \ |
270 Tools/ATP/atp_problem.ML \ |
270 Tools/ATP/atp_problem.ML \ |
|
271 Tools/ATP/atp_proof.ML \ |
271 Tools/ATP/atp_systems.ML \ |
272 Tools/ATP/atp_systems.ML \ |
272 Tools/choice_specification.ML \ |
273 Tools/choice_specification.ML \ |
273 Tools/int_arith.ML \ |
274 Tools/int_arith.ML \ |
274 Tools/groebner.ML \ |
275 Tools/groebner.ML \ |
275 Tools/list_code.ML \ |
276 Tools/list_code.ML \ |