print find_thms result in reverse order so best result is on top

--- 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;