doc-src/IsarAdvanced/Codegen/Thy/Setup.thy
author haftmann
Sun Sep 14 21:50:35 2008 +0200 (2008-09-14)
changeset 28213 b52f9205a02d
child 28419 f65e8b318581
permissions -rw-r--r--
New outline for codegen tutorial -- draft
haftmann@28213
     1
theory Setup
haftmann@28213
     2
imports Main
haftmann@28213
     3
uses "../../../antiquote_setup.ML"
haftmann@28213
     4
begin
haftmann@28213
     5
haftmann@28213
     6
ML_val {* Code_Target.code_width := 74 *}
haftmann@28213
     7
haftmann@28213
     8
end