doc-src/Codegen/Thy/Setup.thy

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Codegen/Thy/Setup.thy	Tue Mar 03 11:00:51 2009 +0100
@@ -0,0 +1,12 @@
+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