src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Fri Nov 10 07:37:37 2006 +0100
+++ b/src/Pure/simplifier.ML	Fri Nov 10 07:44:47 2006 +0100
@@ -161,7 +161,7 @@
 fun generic_simp_tac safe mode ss =
   let
     val (_, {loop_tacs, solvers = (unsafe_solvers, solvers), ...}) = MetaSimplifier.rep_ss ss;
-    val loop_tac = FIRST' (map (fn (_, tac) => tac ss) loop_tacs);
+    val loop_tac = FIRST' (map (fn (_, tac) => tac ss) (rev loop_tacs));
     val solve_tac = FIRST' (map (MetaSimplifier.solver ss)
       (if safe then solvers else unsafe_solvers));