changeset 27025 | c1f9fb015ea5 |
parent 26999 | 284c871d3acb |
child 27103 | d8549f4d900b |
27024:fcab2dd46872 | 27025:c1f9fb015ea5 |
---|---|
6 imports Main |
6 imports Main |
7 uses "../../../antiquote_setup.ML" |
7 uses "../../../antiquote_setup.ML" |
8 begin |
8 begin |
9 |
9 |
10 ML {* |
10 ML {* |
11 CodeTarget.code_width := 74; |
11 CodeTarget.target_code_width := 74; |
12 *} |
12 *} |
13 |
13 |
14 (*>*) |
14 (*>*) |
15 |
15 |
16 chapter {* Code generation from Isabelle theories *} |
16 chapter {* Code generation from Isabelle theories *} |