changeset 48286 | 788c66a40b32 |
parent 48251 | 6cdcfbddc077 |
child 48296 | e7f01b7e244e |
48285:902ab51dd12a | 48286:788c66a40b32 |
---|---|
3 *) |
3 *) |
4 |
4 |
5 header {* MaSh Exporter *} |
5 header {* MaSh Exporter *} |
6 |
6 |
7 theory MaSh_Export |
7 theory MaSh_Export |
8 imports ATP_Theory_Export |
8 imports Complex_Main |
9 uses "mash_export.ML" |
9 uses "mash_export.ML" |
10 begin |
10 begin |
11 |
11 |
12 sledgehammer_params |
12 sledgehammer_params |
13 [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??, |
13 [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??, |