equal
deleted
inserted
replaced
9 writeln banner; |
9 writeln banner; |
10 |
10 |
11 use "~~/src/Provers/splitter.ML"; |
11 use "~~/src/Provers/splitter.ML"; |
12 use "~~/src/Provers/ind.ML"; |
12 use "~~/src/Provers/ind.ML"; |
13 use "~~/src/Provers/hypsubst.ML"; |
13 use "~~/src/Provers/hypsubst.ML"; |
|
14 use "~~/src/Provers/eqsubst.ML"; |
14 use "~~/src/Provers/induct_method.ML"; |
15 use "~~/src/Provers/induct_method.ML"; |
15 use "~~/src/Provers/classical.ML"; |
16 use "~~/src/Provers/classical.ML"; |
16 use "~~/src/Provers/blast.ML"; |
17 use "~~/src/Provers/blast.ML"; |
17 use "~~/src/Provers/clasimp.ML"; |
18 use "~~/src/Provers/clasimp.ML"; |
18 use "~~/src/Provers/quantifier1.ML"; |
19 use "~~/src/Provers/quantifier1.ML"; |