# HG changeset patch
# User haftmann
# Date 1187351939 -7200
# Node ID b1df9e31cda11720b9d1301e8e5870a18b933e92
# Parent  69d40a562ba4f84b5a3c9aa655e316d283ead513
reoriented hook application order

diff -r 69d40a562ba4 -r b1df9e31cda1 src/HOL/Tools/datatype_hooks.ML
--- a/src/HOL/Tools/datatype_hooks.ML	Fri Aug 17 13:58:58 2007 +0200
+++ b/src/HOL/Tools/datatype_hooks.ML	Fri Aug 17 13:58:59 2007 +0200
@@ -30,6 +30,6 @@
   DatatypeHooksData.map (cons (serial (), hook));
 
 fun all dtcos thy =
-  fold (fn (_, f) => f dtcos) (DatatypeHooksData.get thy) thy;
+  fold_rev (fn (_, f) => f dtcos) (DatatypeHooksData.get thy) thy;
 
 end;
diff -r 69d40a562ba4 -r b1df9e31cda1 src/HOL/Tools/typecopy_package.ML
--- a/src/HOL/Tools/typecopy_package.ML	Fri Aug 17 13:58:58 2007 +0200
+++ b/src/HOL/Tools/typecopy_package.ML	Fri Aug 17 13:58:59 2007 +0200
@@ -78,7 +78,7 @@
   (TypecopyData.map o apsnd o cons) (serial (), hook);
 
 fun invoke_hooks tyco_info thy =
-  fold (fn (_, f) => f tyco_info) ((snd o TypecopyData.get) thy) thy;
+  fold_rev (fn (_, f) => f tyco_info) ((snd o TypecopyData.get) thy) thy;
 
 
 (* add a type copy *)