author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 34071 | 93bfbb557e2e |
child 38704 | 628fee3eb449 |
permissions | -rw-r--r-- |
1 theory Setup
2 imports Complex_Main
3 uses
4 "../../antiquote_setup.ML"
5 "../../more_antiquote.ML"
6 begin
8 ML {* no_document use_thys
9 ["Efficient_Nat", "Code_Char_chr", "Product_ord", "~~/src/HOL/Imperative_HOL/Imperative_HOL",
10 "~~/src/HOL/Decision_Procs/Ferrack"] *}
12 setup {* Code_Target.set_default_code_width 74 *}
14 ML_command {* Unsynchronized.reset unique_names *}
16 end