1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Thu Mar 29 14:21:47 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Fri Mar 30 16:18:59 2007 +0200
     1.3 @@ -33,6 +33,7 @@
     1.4  \newcommand{\isasymNOTE}{\cmd{note}}
     1.5  \newcommand{\isasymIN}{\cmd{in}}
     1.6  \newcommand{\isasymCODEGEN}{\cmd{code\_gen}}
     1.7 +\newcommand{\isasymCODEDATATYPE}{\cmd{code\_datatype}}
     1.8  \newcommand{\isasymCODECONST}{\cmd{code\_const}}
     1.9  \newcommand{\isasymCODETYPE}{\cmd{code\_type}}
    1.10  \newcommand{\isasymCODECLASS}{\cmd{code\_class}}
    1.11 @@ -44,6 +45,7 @@
    1.12  \newcommand{\isasymCODEABSTYPE}{\cmd{code\_abstype}}
    1.13  \newcommand{\isasymPRINTCODESETUP}{\cmd{print\_codesetup}}
    1.14  \newcommand{\isasymCODETHMS}{\cmd{code\_thms}}
    1.15 +\newcommand{\isasymCODEDEPS}{\cmd{code\_deps}}
    1.16  \newcommand{\isasymFUN}{\cmd{fun}}
    1.17  \newcommand{\isasymFUNCTION}{\cmd{function}}
    1.18  \newcommand{\isasymPRIMREC}{\cmd{primrec}}