src/Pure/Tools/find_theorems.ML
changeset 53633 69f1221fc892
parent 53632 96808429b9ec
child 54742 7a86358a3c0b
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Sat Sep 14 20:56:12 2013 +1000
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Sat Sep 14 20:57:22 2013 +1000
     1.3 @@ -526,7 +526,7 @@
     1.4      (if null theorems then [Pretty.str "nothing found"]
     1.5       else
     1.6        [Pretty.str (tally_msg ^ ":"), Pretty.str ""] @
     1.7 -        grouped 10 Par_List.map (Pretty.item o single o pretty_theorem ctxt) theorems)
     1.8 +        grouped 10 Par_List.map (Pretty.item o single o pretty_theorem ctxt) (rev theorems))
     1.9    end |> Pretty.fbreaks |> curry Pretty.blk 0;
    1.10  
    1.11  end;