equal
deleted
inserted
replaced
12 uses "Tools/Sledgehammer/async_manager.ML" |
12 uses "Tools/Sledgehammer/async_manager.ML" |
13 "Tools/Sledgehammer/sledgehammer_util.ML" |
13 "Tools/Sledgehammer/sledgehammer_util.ML" |
14 "Tools/Sledgehammer/sledgehammer_fact.ML" |
14 "Tools/Sledgehammer/sledgehammer_fact.ML" |
15 "Tools/Sledgehammer/sledgehammer_filter_iter.ML" |
15 "Tools/Sledgehammer/sledgehammer_filter_iter.ML" |
16 "Tools/Sledgehammer/sledgehammer_provers.ML" |
16 "Tools/Sledgehammer/sledgehammer_provers.ML" |
|
17 "Tools/Sledgehammer/sledgehammer_minimize.ML" |
17 "Tools/Sledgehammer/sledgehammer_filter_mash.ML" |
18 "Tools/Sledgehammer/sledgehammer_filter_mash.ML" |
18 "Tools/Sledgehammer/sledgehammer_filter.ML" |
19 "Tools/Sledgehammer/sledgehammer_filter.ML" |
19 "Tools/Sledgehammer/sledgehammer_minimize.ML" |
|
20 "Tools/Sledgehammer/sledgehammer_run.ML" |
20 "Tools/Sledgehammer/sledgehammer_run.ML" |
21 "Tools/Sledgehammer/sledgehammer_isar.ML" |
21 "Tools/Sledgehammer/sledgehammer_isar.ML" |
22 begin |
22 begin |
23 |
23 |
24 setup {* Sledgehammer_Isar.setup *} |
24 setup {* Sledgehammer_Isar.setup *} |