Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sort E weights
authorblanchet
Tue, 08 Feb 2011 16:10:09 +0100
changeset 41726 1ef01508bb9b
parent 41725 7cca2de89296
child 41727 ab3f6d76fb23
sort E weights
src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Tue Feb 08 16:10:08 2011 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Tue Feb 08 16:10:09 2011 +0100
@@ -681,5 +681,6 @@
   |> add_conjectures_weights (these (AList.lookup (op =) problem conjsN))
   |> add_facts_weights (these (AList.lookup (op =) problem factsN))
   |> Symtab.dest
+  |> sort (prod_ord Real.compare string_ord o pairself swap)
 
 end;
isabelle