# HG changeset patch
# User wenzelm
# Date 1235677288 -3600
# Node ID 391e12ff816c025a09db6d5b31c5a3058288d811
# Parent  df610709eda58905486a19d8ff25282823f23786
fixed import of ~~/src/HOL/Decision_Procs/Ferrack;

diff -r df610709eda5 -r 391e12ff816c doc-src/IsarAdvanced/Codegen/Thy/Setup.thy
--- a/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy	Thu Feb 26 20:09:14 2009 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy	Thu Feb 26 20:41:28 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/Reflection/Ferrack"] *}
+   "~~/src/HOL/Decision_Procs/Ferrack"] *}
 
 ML_val {* Code_Target.code_width := 74 *}