--- a/doc-src/IsarAdvanced/Codegen/codegen.tex Sat Feb 10 09:26:08 2007 +0100
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Sat Feb 10 09:26:09 2007 +0100
@@ -42,7 +42,8 @@
\newcommand{\isasymCODEMODULEPROLOG}{\cmd{code\_moduleprolog}}
\newcommand{\isasymCODEAXIOMS}{\cmd{code\_axioms}}
\newcommand{\isasymCODEABSTYPE}{\cmd{code\_abstype}}
-\newcommand{\isasymPRINTCODETHMS}{\cmd{print\_codethms}}
+\newcommand{\isasymPRINTCODESETUP}{\cmd{print\_codesetup}}
+\newcommand{\isasymCODETHMS}{\cmd{code\_thms}}
\newcommand{\isasymFUN}{\cmd{fun}}
\newcommand{\isasymFUNCTION}{\cmd{function}}
\newcommand{\isasymPRIMREC}{\cmd{primrec}}