1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Tue Feb 08 16:10:08 2011 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Tue Feb 08 16:10:09 2011 +0100
     1.3 @@ -681,5 +681,6 @@
     1.4    |> add_conjectures_weights (these (AList.lookup (op =) problem conjsN))
     1.5    |> add_facts_weights (these (AList.lookup (op =) problem factsN))
     1.6    |> Symtab.dest
     1.7 +  |> sort (prod_ord Real.compare string_ord o pairself swap)
     1.8  
     1.9  end;