Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/proof_context.ML
changeset 60924 610794dff23c
parent 60799 57dd0b45fc21
child 61168 dcdfb6355a05 
--- a/src/Pure/Isar/proof_context.ML	Wed Aug 12 21:38:39 2015 +0200
+++ b/src/Pure/Isar/proof_context.ML	Thu Aug 13 11:05:19 2015 +0200
@@ -1323,7 +1323,7 @@
     if null local_facts then []
     else
       [Pretty.big_list "local facts:"
-        (map #1 (sort_wrt (#1 o #2) (map (`(pretty_fact ctxt)) local_facts)))]
+        (map #1 (sort_by (#1 o #2) (map (`(pretty_fact ctxt)) local_facts)))]
   end;
 
 fun print_local_facts verbose ctxt =
isabelle