| changeset 29794 | 32d00a2a6f28 |
| parent 29514 | fc20414d4aa8 |
| child 30119 | 391e12ff816c |
--- a/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy Tue Feb 03 19:37:00 2009 +0100 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy Tue Feb 03 19:37:16 2009 +0100 @@ -5,7 +5,7 @@ ML {* no_document use_thys ["Efficient_Nat", "Code_Char_chr", "Product_ord", "~~/src/HOL/Imperative_HOL/Imperative_HOL", - "~~/src/HOL/ex/ReflectedFerrack"] *} + "~~/src/HOL/Reflection/Ferrack"] *} ML_val {* Code_Target.code_width := 74 *}