src/Pure/Thy/thm_deps.ML
changeset 49561 26fc70e983c2
parent 44333 cc53ce50f738
     1.1 --- a/src/Pure/Thy/thm_deps.ML	Tue Sep 25 14:32:41 2012 +0200
     1.2 +++ b/src/Pure/Thy/thm_deps.ML	Tue Sep 25 15:40:41 2012 +0200
     1.3 @@ -38,10 +38,11 @@
     1.4                 dir = space_implode "/" (session @ prefix),
     1.5                 unfold = false,
     1.6                 path = "",
     1.7 -               parents = parents};
     1.8 +               parents = parents,
     1.9 +               content = []};
    1.10            in cons entry end;
    1.11      val deps = Proofterm.fold_body_thms add_dep (Thm.proof_bodies_of thms) [];
    1.12 -  in Present.display_graph (sort_wrt #ID deps) end;
    1.13 +  in Graph_Display.display_graph (sort_wrt #ID deps) end;
    1.14  
    1.15  
    1.16  (* unused_thms *)