equal
deleted
inserted
replaced
12 uses |
12 uses |
13 ("Tools/ATP/atp_problem.ML") |
13 ("Tools/ATP/atp_problem.ML") |
14 ("Tools/ATP/atp_proof.ML") |
14 ("Tools/ATP/atp_proof.ML") |
15 ("Tools/ATP/atp_systems.ML") |
15 ("Tools/ATP/atp_systems.ML") |
16 ("~~/src/Tools/Metis/metis.ML") |
16 ("~~/src/Tools/Metis/metis.ML") |
17 ("Tools/Sledgehammer/clausifier.ML") |
17 ("Tools/Sledgehammer/meson_clausifier.ML") |
18 ("Tools/Sledgehammer/meson_tactic.ML") |
|
19 ("Tools/Sledgehammer/metis_translate.ML") |
18 ("Tools/Sledgehammer/metis_translate.ML") |
20 ("Tools/Sledgehammer/metis_reconstruct.ML") |
19 ("Tools/Sledgehammer/metis_reconstruct.ML") |
21 ("Tools/Sledgehammer/metis_tactics.ML") |
20 ("Tools/Sledgehammer/metis_tactics.ML") |
22 ("Tools/Sledgehammer/sledgehammer_util.ML") |
21 ("Tools/Sledgehammer/sledgehammer_util.ML") |
23 ("Tools/Sledgehammer/sledgehammer_filter.ML") |
22 ("Tools/Sledgehammer/sledgehammer_filter.ML") |
97 use "Tools/ATP/atp_proof.ML" |
96 use "Tools/ATP/atp_proof.ML" |
98 use "Tools/ATP/atp_systems.ML" |
97 use "Tools/ATP/atp_systems.ML" |
99 setup ATP_Systems.setup |
98 setup ATP_Systems.setup |
100 |
99 |
101 use "~~/src/Tools/Metis/metis.ML" |
100 use "~~/src/Tools/Metis/metis.ML" |
102 use "Tools/Sledgehammer/clausifier.ML" |
101 use "Tools/Sledgehammer/meson_clausifier.ML" |
103 use "Tools/Sledgehammer/meson_tactic.ML" |
102 setup Meson_Clausifier.setup |
104 setup Meson_Tactic.setup |
|
105 |
103 |
106 use "Tools/Sledgehammer/metis_translate.ML" |
104 use "Tools/Sledgehammer/metis_translate.ML" |
107 use "Tools/Sledgehammer/metis_reconstruct.ML" |
105 use "Tools/Sledgehammer/metis_reconstruct.ML" |
108 use "Tools/Sledgehammer/metis_tactics.ML" |
106 use "Tools/Sledgehammer/metis_tactics.ML" |
109 setup Metis_Tactics.setup |
107 setup Metis_Tactics.setup |