equal
deleted
inserted
replaced
13 "~~/src/Tools/IsaPlanner/zipper.ML" |
13 "~~/src/Tools/IsaPlanner/zipper.ML" |
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" |
|
19 "~~/src/Provers/quantifier1.ML" |
18 "~~/src/Provers/quantifier1.ML" |
20 "~~/src/Provers/project_rule.ML" |
19 "~~/src/Provers/project_rule.ML" |
21 ("fologic.ML") |
20 ("fologic.ML") |
22 ("hypsubstdata.ML") |
21 ("hypsubstdata.ML") |
23 ("intprover.ML") |
22 ("intprover.ML") |