diff -r 26cd3756377a -r f7f2f56fcc28 src/Pure/Isar/context_rules.ML
--- a/src/Pure/Isar/context_rules.ML	Tue Sep 13 22:19:34 2005 +0200
+++ b/src/Pure/Isar/context_rules.ML	Tue Sep 13 22:19:35 2005 +0200
@@ -206,7 +206,7 @@
 
 fun gen_wrap which ctxt =
   let val Rules {wrappers, ...} = LocalRules.get ctxt
-  in fn tac => foldr (fn ((w, _), t) => w t) tac (which wrappers) end;
+  in fold_rev fst (which wrappers) end;
 
 val Swrap = gen_wrap #1;
 val wrap = gen_wrap #2;