| changeset 48296 | e7f01b7e244e |
| parent 48286 | 788c66a40b32 |
| child 48299 | 5e5c6616f0fe |
| 48295:e0cf12269e60 | 48296:e7f01b7e244e |
|---|---|
18 open MaSh_Export |
18 open MaSh_Export |
19 *} |
19 *} |
20 |
20 |
21 ML {* |
21 ML {* |
22 val do_it = false (* switch to "true" to generate the files *); |
22 val do_it = false (* switch to "true" to generate the files *); |
23 val thy = @{theory Nat}; |
23 val thy = @{theory List}; |
24 val params = Sledgehammer_Isar.default_params @{context} [] |
24 val params = Sledgehammer_Isar.default_params @{context} [] |
25 *} |
25 *} |
26 |
26 |
27 ML {* |
27 ML {* |
28 if do_it then |
28 if do_it then |