author | haftmann |
Tue, 03 Mar 2009 11:00:51 +0100 | |
changeset 30226 | 2f4684e2ea95 |
parent 30119 | doc-src/IsarAdvanced/Codegen/Thy/Setup.thy@391e12ff816c |
child 30227 | 853abb4853cc |
permissions | -rw-r--r-- |
theory Setup imports Complex_Main uses "../../../antiquote_setup.ML" "../../../more_antiquote.ML" begin ML {* no_document use_thys ["Efficient_Nat", "Code_Char_chr", "Product_ord", "~~/src/HOL/Imperative_HOL/Imperative_HOL", "~~/src/HOL/Decision_Procs/Ferrack"] *} ML_val {* Code_Target.code_width := 74 *} end