--- a/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex Mon Nov 10 08:18:58 2008 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex Mon Nov 10 09:03:28 2008 +0100
@@ -262,7 +262,7 @@
\isatagquote
%
\begin{isamarkuptext}%
-\isaverbatim%
+\isatypewriter%
\noindent%
\hspace*{0pt}structure Example = \\
\hspace*{0pt}struct\\
@@ -345,7 +345,7 @@
\isatagquote
%
\begin{isamarkuptext}%
-\isaverbatim%
+\isatypewriter%
\noindent%
\hspace*{0pt}structure Example = \\
\hspace*{0pt}struct\\
@@ -402,7 +402,7 @@
\isatagquote
%
\begin{isamarkuptext}%
-\isaverbatim%
+\isatypewriter%
\noindent%
\hspace*{0pt}structure Example = \\
\hspace*{0pt}struct\\