equal
deleted
inserted
replaced
14 |
14 |
15 use "~~/src/Provers/simplifier.ML"; |
15 use "~~/src/Provers/simplifier.ML"; |
16 use "~~/src/Provers/splitter.ML"; |
16 use "~~/src/Provers/splitter.ML"; |
17 use "~~/src/Provers/ind.ML"; |
17 use "~~/src/Provers/ind.ML"; |
18 use "~~/src/Provers/hypsubst.ML"; |
18 use "~~/src/Provers/hypsubst.ML"; |
|
19 use "~~/src/Provers/rulify.ML"; |
19 use "~~/src/Provers/make_elim.ML"; |
20 use "~~/src/Provers/make_elim.ML"; |
20 use "~~/src/Provers/classical.ML"; |
21 use "~~/src/Provers/classical.ML"; |
21 use "~~/src/Provers/blast.ML"; |
22 use "~~/src/Provers/blast.ML"; |
22 use "~~/src/Provers/clasimp.ML"; |
23 use "~~/src/Provers/clasimp.ML"; |
23 use "~~/src/Provers/quantifier1.ML"; |
24 use "~~/src/Provers/quantifier1.ML"; |