equal
deleted
inserted
replaced
19 use "~~/src/Provers/simplifier.ML"; |
19 use "~~/src/Provers/simplifier.ML"; |
20 use "~~/src/Provers/split_paired_all.ML"; |
20 use "~~/src/Provers/split_paired_all.ML"; |
21 use "~~/src/Provers/splitter.ML"; |
21 use "~~/src/Provers/splitter.ML"; |
22 use "~~/src/Provers/hypsubst.ML"; |
22 use "~~/src/Provers/hypsubst.ML"; |
23 use "~~/src/Provers/rulify.ML"; |
23 use "~~/src/Provers/rulify.ML"; |
|
24 use "~~/src/Provers/induct_method.ML"; |
24 use "~~/src/Provers/make_elim.ML"; |
25 use "~~/src/Provers/make_elim.ML"; |
25 use "~~/src/Provers/classical.ML"; |
26 use "~~/src/Provers/classical.ML"; |
26 use "~~/src/Provers/blast.ML"; |
27 use "~~/src/Provers/blast.ML"; |
27 use "~~/src/Provers/clasimp.ML"; |
28 use "~~/src/Provers/clasimp.ML"; |
28 use "~~/src/Provers/Arith/fast_lin_arith.ML"; |
29 use "~~/src/Provers/Arith/fast_lin_arith.ML"; |