tuned output;
authorwenzelm
Fri Jul 30 10:41:52 2004 +0200 (2004-07-30)
changeset 15088b8a95eadbc14
parent 15087 666f89fbb860
child 15089 430264838064
tuned output;
src/Pure/meta_simplifier.ML
     1.1 --- a/src/Pure/meta_simplifier.ML	Thu Jul 29 17:45:21 2004 +0200
     1.2 +++ b/src/Pure/meta_simplifier.ML	Fri Jul 30 10:41:52 2004 +0200
     1.3 @@ -285,9 +285,9 @@
     1.4      [Pretty.big_list "simplification rules:" (pretty_thms smps),
     1.5        Pretty.big_list "simplification procedures:" (map pretty_proc prcs),
     1.6        Pretty.big_list "congruences:" (map pretty_cong cngs),
     1.7 -      Pretty.strs ("loopers:" :: map #1 loop_tacs),
     1.8 -      Pretty.strs ("unsafe solvers:" :: map solver_name (#1 solvers)),
     1.9 -      Pretty.strs ("safe solvers:" :: map solver_name (#2 solvers))]
    1.10 +      Pretty.strs ("loopers:" :: map (quote o #1) loop_tacs),
    1.11 +      Pretty.strs ("unsafe solvers:" :: map (quote o solver_name) (#1 solvers)),
    1.12 +      Pretty.strs ("safe solvers:" :: map (quote o solver_name) (#2 solvers))]
    1.13      |> Pretty.chunks |> Pretty.writeln
    1.14    end;
    1.15