
diff -r 86cac1fab613 -r 32d00a2a6f28 doc-src/IsarAdvanced/Codegen/Thy/Setup.thy
--- 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 *}
 




