# HG changeset patch
# User kleing
# Date 1379156242 -36000
# Node ID 69f1221fc892e123c3e2cf9ac9a938aa93da991e
# Parent  96808429b9ec764cc66c98461e12afc1fb8cb344
print find_thms result in reverse order so best result is on top

diff -r 96808429b9ec -r 69f1221fc892 src/Pure/Tools/find_theorems.ML
--- 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;