equal
deleted
inserted
replaced
108 use "Tools/ATP_Manager/atp_manager.ML" |
108 use "Tools/ATP_Manager/atp_manager.ML" |
109 use "Tools/ATP_Manager/atp_systems.ML" |
109 use "Tools/ATP_Manager/atp_systems.ML" |
110 setup ATP_Systems.setup |
110 setup ATP_Systems.setup |
111 use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML" |
111 use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML" |
112 use "Tools/Sledgehammer/sledgehammer_isar.ML" |
112 use "Tools/Sledgehammer/sledgehammer_isar.ML" |
113 setup Sledgehammer_Isar.setup |
|
114 |
113 |
115 |
114 |
116 subsection {* The MESON prover *} |
115 subsection {* The MESON prover *} |
117 |
116 |
118 use "Tools/Sledgehammer/meson_tactic.ML" |
117 use "Tools/Sledgehammer/meson_tactic.ML" |