diff -r 54352ed7114f -r b72589374396 doc-src/IsarAdvanced/Codegen/codegen.tex
--- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Wed Oct 15 16:06:59 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Wed Oct 15 16:25:31 2008 +0200
@@ -41,6 +41,9 @@
 \renewcommand{\isatagquotett}{\begin{quotesegment}\isabellestyle{tt}\isastyle}
 \renewcommand{\endisatagquotett}{\end{quotesegment}\isabellestyle{it}\isastyle}
 
+% hack
+\newcommand{\isasymSML}{SML}
+
 
 %% contents