equal
deleted
inserted
replaced
24 open MaSh_Eval |
24 open MaSh_Eval |
25 *} |
25 *} |
26 |
26 |
27 ML {* |
27 ML {* |
28 val do_it = false (* switch to "true" to generate the files *) |
28 val do_it = false (* switch to "true" to generate the files *) |
29 val params = Sledgehammer_Isar.default_params @{context} [] |
29 val params = Sledgehammer_Commands.default_params @{context} [] |
30 val range = (1, NONE) |
30 val range = (1, NONE) |
31 val linearize = false |
31 val linearize = false |
32 val dir = "List" |
32 val dir = "List" |
33 val prefix = "/tmp/" ^ dir ^ "/" |
33 val prefix = "/tmp/" ^ dir ^ "/" |
34 val prob_dir = prefix ^ "mash_problems" |
34 val prob_dir = prefix ^ "mash_problems" |