1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex	Mon Nov 10 08:18:58 2008 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex	Mon Nov 10 09:03:28 2008 +0100
     1.3 @@ -262,7 +262,7 @@
     1.4  \isatagquote
     1.5  %
     1.6  \begin{isamarkuptext}%
     1.7 -\isaverbatim%
     1.8 +\isatypewriter%
     1.9  \noindent%
    1.10  \hspace*{0pt}structure Example = \\
    1.11  \hspace*{0pt}struct\\
    1.12 @@ -345,7 +345,7 @@
    1.13  \isatagquote
    1.14  %
    1.15  \begin{isamarkuptext}%
    1.16 -\isaverbatim%
    1.17 +\isatypewriter%
    1.18  \noindent%
    1.19  \hspace*{0pt}structure Example = \\
    1.20  \hspace*{0pt}struct\\
    1.21 @@ -402,7 +402,7 @@
    1.22  \isatagquote
    1.23  %
    1.24  \begin{isamarkuptext}%
    1.25 -\isaverbatim%
    1.26 +\isatypewriter%
    1.27  \noindent%
    1.28  \hspace*{0pt}structure Example = \\
    1.29  \hspace*{0pt}struct\\