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/Thy/thm_deps.ML
changeset 26138 dc578de1d3e9
parent 24562 fc3cf01e8af1
child 26185 e53165319347 
--- a/src/Pure/Thy/thm_deps.ML	Mon Feb 25 19:38:48 2008 +0100
+++ b/src/Pure/Thy/thm_deps.ML	Mon Feb 25 19:48:06 2008 +0100
@@ -68,8 +68,8 @@
 
 fun thm_deps thms =
   Present.display_graph
-    (map snd (Symtab.dest (fst
-      (fold make_deps_graph (map Thm.proof_of thms) (Symtab.empty, [])))));
+    (map snd (sort_wrt fst (Symtab.dest (fst
+      (fold make_deps_graph (map Thm.proof_of thms) (Symtab.empty, []))))));
 
 end;
isabelle