diff -r 3004310c95b1 -r 07ba6b58b3d2 src/Pure/Tools/nbe_eval.ML
--- a/src/Pure/Tools/nbe_eval.ML	Thu May 31 23:02:16 2007 +0200
+++ b/src/Pure/Tools/nbe_eval.ML	Thu May 31 23:47:36 2007 +0200
@@ -56,7 +56,7 @@
   | string_of_nterm(AbsN(n,t)) =
       "(Abs " ^ string_of_int n ^ " " ^ string_of_nterm t ^ ")";
 
-fun apps t args = foldr (fn (y,x) => A(x,y)) t args;
+fun apps t args = fold_rev (fn y => fn x => A(x,y)) args t;
 
 (* ------------------------------ The semantical universe --------------------- *)