1.1 --- a/src/Tools/code/code_funcgr.ML	Fri Feb 20 18:29:10 2009 +0100
     1.2 +++ b/src/Tools/code/code_funcgr.ML	Fri Feb 20 18:29:11 2009 +0100
     1.3 @@ -317,13 +317,13 @@
     1.4  in
     1.5  
     1.6  val _ =
     1.7 -  OuterSyntax.improper_command "code_thms" "print system of defining equations for code" OuterKeyword.diag
     1.8 +  OuterSyntax.improper_command "code_thms" "print system of code equations for code" OuterKeyword.diag
     1.9      (Scan.repeat P.term_group
    1.10        >> (fn cs => Toplevel.no_timing o Toplevel.unknown_theory
    1.11          o Toplevel.keep ((fn thy => code_thms_cmd thy cs) o Toplevel.theory_of)));
    1.12  
    1.13  val _ =
    1.14 -  OuterSyntax.improper_command "code_deps" "visualize dependencies of defining equations for code" OuterKeyword.diag
    1.15 +  OuterSyntax.improper_command "code_deps" "visualize dependencies of code equations for code" OuterKeyword.diag
    1.16      (Scan.repeat P.term_group
    1.17        >> (fn cs => Toplevel.no_timing o Toplevel.unknown_theory
    1.18          o Toplevel.keep ((fn thy => code_deps_cmd thy cs) o Toplevel.theory_of)));