equal
deleted
inserted
replaced
95 use "Tools/Sledgehammer/sledgehammer_util.ML" |
95 use "Tools/Sledgehammer/sledgehammer_util.ML" |
96 use "Tools/Sledgehammer/sledgehammer_fact_filter.ML" |
96 use "Tools/Sledgehammer/sledgehammer_fact_filter.ML" |
97 use "Tools/ATP_Manager/atp_problem.ML" |
97 use "Tools/ATP_Manager/atp_problem.ML" |
98 use "Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML" |
98 use "Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML" |
99 use "Tools/ATP_Manager/async_manager.ML" |
99 use "Tools/ATP_Manager/async_manager.ML" |
100 use "Tools/ATP_Manager/atp_manager.ML" |
100 use "Tools/Sledgehammer/sledgehammer.ML" |
101 use "Tools/ATP_Manager/atp_systems.ML" |
101 use "Tools/ATP_Manager/atp_systems.ML" |
102 setup ATP_Systems.setup |
102 setup ATP_Systems.setup |
103 use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML" |
103 use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML" |
104 use "Tools/Sledgehammer/sledgehammer_isar.ML" |
104 use "Tools/Sledgehammer/sledgehammer_isar.ML" |
105 setup Metis_Tactics.setup |
105 setup Metis_Tactics.setup |