equal
deleted
inserted
replaced
62 $(SRC)/Provers/Arith/assoc_fold.ML \ |
62 $(SRC)/Provers/Arith/assoc_fold.ML \ |
63 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
63 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
64 $(SRC)/Provers/Arith/cancel_sums.ML \ |
64 $(SRC)/Provers/Arith/cancel_sums.ML \ |
65 $(SRC)/Provers/Arith/combine_numerals.ML \ |
65 $(SRC)/Provers/Arith/combine_numerals.ML \ |
66 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
66 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
|
67 $(SRC)/Provers/Arith/extract_common_term.ML \ |
67 $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \ |
68 $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \ |
68 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
69 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
69 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/make_elim.ML \ |
70 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/make_elim.ML \ |
70 $(SRC)/Provers/rulify.ML $(SRC)/Provers/simplifier.ML \ |
71 $(SRC)/Provers/rulify.ML $(SRC)/Provers/simplifier.ML \ |
71 $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \ |
72 $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \ |