| changeset 48250 | 1065c307fafe |
| parent 48246 | fb11c09d7729 |
| child 48251 | 6cdcfbddc077 |
| 48249:2bd242c56c90 | 48250:1065c307fafe |
|---|---|
16 ML {* |
16 ML {* |
17 open MaSh_Export |
17 open MaSh_Export |
18 *} |
18 *} |
19 |
19 |
20 ML {* |
20 ML {* |
21 val do_it = true (* switch to "true" to generate the files *); |
21 val do_it = false (* switch to "true" to generate the files *); |
22 val thy = @{theory Nat} |
22 val thy = @{theory Nat} |
23 *} |
23 *} |
24 |
24 |
25 ML {* |
25 ML {* |
26 if do_it then |
26 if do_it then |