--- a/doc-src/IsarAdvanced/Codegen/codegen.tex Thu Nov 02 14:27:18 2006 +0100
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Fri Nov 03 14:22:31 2006 +0100
@@ -33,6 +33,13 @@
\newcommand{\isasymNOTE}{\cmd{note}}
\newcommand{\isasymIN}{\cmd{in}}
\newcommand{\isasymCODEGEN}{\cmd{code\_gen}}
+\newcommand{\isasymCODECONST}{\cmd{code\_const}}
+\newcommand{\isasymCODETYPE}{\cmd{code\_type}}
+\newcommand{\isasymCODECLASS}{\cmd{code\_class}}
+\newcommand{\isasymCODEINSTANCE}{\cmd{code\_instance}}
+\newcommand{\isasymCODERESERVED}{\cmd{code\_reserved}}
+\newcommand{\isasymCODEMODULENAME}{\cmd{code\_modulename}}
+\newcommand{\isasymCODEMODULEPROLOG}{\cmd{code\_moduleprolog}}
\newcommand{\isasymPRINTCODETHMS}{\cmd{print\_codethms}}
\newcommand{\isasymFUN}{\cmd{fun}}
\newcommand{\isasymFUNCTION}{\cmd{function}}