1.1 --- a/src/HOL/Tools/ATP/atp_problem.ML	Tue Jan 31 12:43:48 2012 +0100
     1.2 +++ b/src/HOL/Tools/ATP/atp_problem.ML	Tue Jan 31 14:39:21 2012 +0100
     1.3 @@ -439,7 +439,7 @@
     1.4        if top_level then
     1.5          case extract_isabelle_info info of
     1.6            SOME s' => if s' = simpN then s ^ ":lr"
     1.7 -                     else if s' = eqN then s ^ ":lr" (* not yet ":lt" *)
     1.8 +                     else if s' = eqN then s ^ ":lt"
     1.9                       else s
    1.10          | NONE => s
    1.11        else