| changeset 28593 | f087237af65d |
| parent 28447 | df77ed974a78 |
| child 29295 | 93b819a44146 |
--- a/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy Tue Oct 14 16:01:36 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy Tue Oct 14 16:32:26 2008 +0200 @@ -4,7 +4,8 @@ begin ML {* no_document use_thys - ["Efficient_Nat", "Code_Char_chr", "Product_ord"] *} + ["Efficient_Nat", "Code_Char_chr", "Product_ord", "Imperative_HOL", + "~~/src/HOL/Complex/ex/ReflectedFerrack"] *} ML_val {* Code_Target.code_width := 74 *}