doc-src/Codegen/Thy/Setup.thy
author haftmann
Fri Dec 11 20:32:49 2009 +0100 (2009-12-11)
changeset 34071 93bfbb557e2e
parent 32833 f3716d1a2e48
child 38460 628fee3eb449
permissions -rw-r--r--
default_code_width is now proper theory data
haftmann@28213
     1
theory Setup
haftmann@28419
     2
imports Complex_Main
haftmann@30227
     3
uses
haftmann@30227
     4
  "../../antiquote_setup.ML"
haftmann@30227
     5
  "../../more_antiquote.ML"
haftmann@28213
     6
begin
haftmann@28213
     7
haftmann@28447
     8
ML {* no_document use_thys
haftmann@29514
     9
  ["Efficient_Nat", "Code_Char_chr", "Product_ord", "~~/src/HOL/Imperative_HOL/Imperative_HOL",
wenzelm@30119
    10
   "~~/src/HOL/Decision_Procs/Ferrack"] *}
haftmann@28419
    11
haftmann@34071
    12
setup {* Code_Target.set_default_code_width 74 *}
haftmann@34071
    13
wenzelm@32833
    14
ML_command {* Unsynchronized.reset unique_names *}
haftmann@28213
    15
haftmann@28213
    16
end