1 theory Setup
2 imports Main
3 uses "../../../antiquote_setup.ML"
4 begin
5
6 ML_val {* Code_Target.code_width := 74 *}
7
8 end