changeset 41094 | 1dc7652ce404 |
parent 41087 | d7b5fd465198 |
child 42616 | 92715b528e78 |
41093:dfbc8759415f | 41094:1dc7652ce404 |
---|---|
18 "Tools/Sledgehammer/sledgehammer_run.ML" |
18 "Tools/Sledgehammer/sledgehammer_run.ML" |
19 "Tools/Sledgehammer/sledgehammer_isar.ML" |
19 "Tools/Sledgehammer/sledgehammer_isar.ML" |
20 begin |
20 begin |
21 |
21 |
22 setup {* |
22 setup {* |
23 Sledgehammer.setup |
23 Sledgehammer_Provers.setup |
24 #> Sledgehammer_Isar.setup |
24 #> Sledgehammer_Isar.setup |
25 *} |
25 *} |
26 |
26 |
27 end |
27 end |