src/Pure/Isar/isar_cmd.ML
changeset 59206 36808125e00f
parent 59067 dd8ec9138112
child 59207 6b030dc97a4f
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Wed Dec 31 14:05:06 2014 +0100
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Wed Dec 31 14:08:50 2014 +0100
     1.3 @@ -275,7 +275,7 @@
     1.4      val thy = Toplevel.theory_of state;
     1.5      val thy_session = Present.session_name thy;
     1.6  
     1.7 -    val gr = rev (Theory.nodes_of thy) |> map (fn node =>
     1.8 +    val graph = rev (Theory.nodes_of thy) |> map (fn node =>
     1.9        let
    1.10          val name = Context.theory_name node;
    1.11          val parents = map Context.theory_name (Theory.parents_of node);
    1.12 @@ -285,15 +285,15 @@
    1.13         {name = name, ID = name, parents = parents, dir = session,
    1.14          unfold = unfold, path = "", content = []}
    1.15        end);
    1.16 -  in Graph_Display.display_graph gr end);
    1.17 +  in Graph_Display.display_graph graph end);
    1.18  
    1.19  val locale_deps = Toplevel.unknown_theory o Toplevel.keep (fn state =>
    1.20    let
    1.21      val thy = Toplevel.theory_of state;
    1.22 -    val gr = Locale.pretty_locale_deps thy |> map (fn {name, parents, body} =>
    1.23 +    val graph = Locale.pretty_locale_deps thy |> map (fn {name, parents, body} =>
    1.24       {name = Locale.extern thy name, ID = name, parents = parents,
    1.25        dir = "", unfold = true, path = "", content = [body]});
    1.26 -  in Graph_Display.display_graph gr end);
    1.27 +  in Graph_Display.display_graph graph end);
    1.28  
    1.29  
    1.30  (* print theorems, terms, types etc. *)