equal
deleted
inserted
replaced
13 sledgehammer_params |
13 sledgehammer_params |
14 [provers = e, max_facts = 64, strict, dont_slice, type_enc = poly_guards??, |
14 [provers = e, max_facts = 64, strict, dont_slice, type_enc = poly_guards??, |
15 lam_trans = combs, timeout = 30, dont_preplay, minimize] |
15 lam_trans = combs, timeout = 30, dont_preplay, minimize] |
16 |
16 |
17 ML {* |
17 ML {* |
18 Multithreading.max_threads_value () |
18 Multithreading.max_threads () |
19 *} |
19 *} |
20 |
20 |
21 ML {* |
21 ML {* |
22 open MaSh_Eval |
22 open MaSh_Eval |
23 *} |
23 *} |