equal
deleted
inserted
replaced
14 "~~/src/Tools/IsaPlanner/isand.ML" |
14 "~~/src/Tools/IsaPlanner/isand.ML" |
15 "~~/src/Tools/IsaPlanner/rw_tools.ML" |
15 "~~/src/Tools/IsaPlanner/rw_tools.ML" |
16 "~~/src/Tools/IsaPlanner/rw_inst.ML" |
16 "~~/src/Tools/IsaPlanner/rw_inst.ML" |
17 "~~/src/Provers/eqsubst.ML" |
17 "~~/src/Provers/eqsubst.ML" |
18 "~~/src/Provers/induct_method.ML" |
18 "~~/src/Provers/induct_method.ML" |
19 "~~/src/Provers/classical.ML" |
|
20 "~~/src/Provers/blast.ML" |
|
21 "~~/src/Provers/clasimp.ML" |
|
22 "~~/src/Provers/quantifier1.ML" |
19 "~~/src/Provers/quantifier1.ML" |
23 "~~/src/Provers/project_rule.ML" |
20 "~~/src/Provers/project_rule.ML" |
24 ("fologic.ML") |
21 ("fologic.ML") |
25 ("hypsubstdata.ML") |
22 ("hypsubstdata.ML") |
26 ("intprover.ML") |
23 ("intprover.ML") |