equal
deleted
inserted
replaced
27 use "~~/src/Provers/Arith/fast_lin_arith.ML"; |
27 use "~~/src/Provers/Arith/fast_lin_arith.ML"; |
28 use "~~/src/Provers/Arith/cancel_sums.ML"; |
28 use "~~/src/Provers/Arith/cancel_sums.ML"; |
29 use "~~/src/Provers/Arith/abel_cancel.ML"; |
29 use "~~/src/Provers/Arith/abel_cancel.ML"; |
30 use "~~/src/Provers/Arith/assoc_fold.ML"; |
30 use "~~/src/Provers/Arith/assoc_fold.ML"; |
31 use "~~/src/Provers/quantifier1.ML"; |
31 use "~~/src/Provers/quantifier1.ML"; |
32 use "~~/src/Provers/Arith/abstract_numerals.ML"; |
|
33 use "~~/src/Provers/Arith/cancel_numerals.ML"; |
32 use "~~/src/Provers/Arith/cancel_numerals.ML"; |
34 use "~~/src/Provers/Arith/combine_numerals.ML"; |
33 use "~~/src/Provers/Arith/combine_numerals.ML"; |
35 use "~~/src/Provers/Arith/cancel_numeral_factor.ML"; |
34 use "~~/src/Provers/Arith/cancel_numeral_factor.ML"; |
36 use "~~/src/Provers/Arith/extract_common_term.ML"; |
35 use "~~/src/Provers/Arith/extract_common_term.ML"; |
37 use "~~/src/Provers/Arith/cancel_div_mod.ML"; |
36 use "~~/src/Provers/Arith/cancel_div_mod.ML"; |