1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex Mon Nov 10 08:18:58 2008 +0100
1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Mon Nov 10 09:03:28 2008 +0100
1.3 @@ -26,7 +26,7 @@
1.4 \newcommand{\qt}[1]{``{#1}''}
1.5
1.6 % verbatim text
1.7 -\newcommand{\isaverbatim}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
1.8 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
1.9
1.10 % invisibility
1.11 \isadroptag{theory}