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;