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