equal
deleted
inserted
replaced
34 $(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML \ |
34 $(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML \ |
35 $(SRC)/Provers/Arith/cancel_sums.ML \ |
35 $(SRC)/Provers/Arith/cancel_sums.ML \ |
36 $(SRC)/Provers/Arith/assoc_fold.ML \ |
36 $(SRC)/Provers/Arith/assoc_fold.ML \ |
37 $(SRC)/Provers/Arith/combine_numerals.ML \ |
37 $(SRC)/Provers/Arith/combine_numerals.ML \ |
38 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
38 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
39 $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \ |
39 $(SRC)/Provers/Arith/fast_lin_arith.ML \ |
|
40 $(SRC)/Provers/blast.ML $(SRC)/Provers/make_elim.ML \ |
40 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
41 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
41 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/simplifier.ML \ |
42 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/simplifier.ML \ |
42 $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \ |
43 $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \ |
43 $(SRC)/TFL/dcterm.sml $(SRC)/TFL/post.sml $(SRC)/TFL/rules.sml \ |
44 $(SRC)/TFL/dcterm.sml $(SRC)/TFL/post.sml $(SRC)/TFL/rules.sml \ |
44 $(SRC)/TFL/rules.sig $(SRC)/TFL/tfl.sig $(SRC)/TFL/tfl.sml \ |
45 $(SRC)/TFL/rules.sig $(SRC)/TFL/tfl.sig $(SRC)/TFL/tfl.sml \ |