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