1.1 --- a/src/Pure/Thy/thm_deps.ML	Mon Feb 25 19:38:48 2008 +0100
     1.2 +++ b/src/Pure/Thy/thm_deps.ML	Mon Feb 25 19:48:06 2008 +0100
     1.3 @@ -68,8 +68,8 @@
     1.4  
     1.5  fun thm_deps thms =
     1.6    Present.display_graph
     1.7 -    (map snd (Symtab.dest (fst
     1.8 -      (fold make_deps_graph (map Thm.proof_of thms) (Symtab.empty, [])))));
     1.9 +    (map snd (sort_wrt fst (Symtab.dest (fst
    1.10 +      (fold make_deps_graph (map Thm.proof_of thms) (Symtab.empty, []))))));
    1.11  
    1.12  end;
    1.13