1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Program.tex	Mon Nov 10 08:18:58 2008 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Program.tex	Mon Nov 10 09:03:28 2008 +0100
     1.3 @@ -85,7 +85,7 @@
     1.4  \isatagquote
     1.5  %
     1.6  \begin{isamarkuptext}%
     1.7 -\isaverbatim%
     1.8 +\isatypewriter%
     1.9  \noindent%
    1.10  \hspace*{0pt}dequeue ::~forall a. Queue a -> (Maybe a, Queue a);\\
    1.11  \hspace*{0pt}dequeue (Queue xs (y :~ys)) = (Just y, Queue xs ys);\\
    1.12 @@ -271,7 +271,7 @@
    1.13  \isatagquote
    1.14  %
    1.15  \begin{isamarkuptext}%
    1.16 -\isaverbatim%
    1.17 +\isatypewriter%
    1.18  \noindent%
    1.19  \hspace*{0pt}module Example where {\char123}\\
    1.20  \hspace*{0pt}\\
    1.21 @@ -336,7 +336,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\\
    1.30 @@ -657,7 +657,7 @@
    1.31  \isatagquote
    1.32  %
    1.33  \begin{isamarkuptext}%
    1.34 -\isaverbatim%
    1.35 +\isatypewriter%
    1.36  \noindent%
    1.37  \hspace*{0pt}structure Example = \\
    1.38  \hspace*{0pt}struct\\
    1.39 @@ -774,7 +774,7 @@
    1.40  \isatagquote
    1.41  %
    1.42  \begin{isamarkuptext}%
    1.43 -\isaverbatim%
    1.44 +\isatypewriter%
    1.45  \noindent%
    1.46  \hspace*{0pt}structure Example = \\
    1.47  \hspace*{0pt}struct\\
    1.48 @@ -910,7 +910,7 @@
    1.49  \isatagquote
    1.50  %
    1.51  \begin{isamarkuptext}%
    1.52 -\isaverbatim%
    1.53 +\isatypewriter%
    1.54  \noindent%
    1.55  \hspace*{0pt}structure Example = \\
    1.56  \hspace*{0pt}struct\\
    1.57 @@ -1031,7 +1031,7 @@
    1.58  \isatagquote
    1.59  %
    1.60  \begin{isamarkuptext}%
    1.61 -\isaverbatim%
    1.62 +\isatypewriter%
    1.63  \noindent%
    1.64  \hspace*{0pt}structure Example = \\
    1.65  \hspace*{0pt}struct\\
    1.66 @@ -1106,7 +1106,7 @@
    1.67  \isatagquote
    1.68  %
    1.69  \begin{isamarkuptext}%
    1.70 -\isaverbatim%
    1.71 +\isatypewriter%
    1.72  \noindent%
    1.73  \hspace*{0pt}strict{\char95}dequeue ::~forall a. Queue a -> (a, Queue a);\\
    1.74  \hspace*{0pt}strict{\char95}dequeue (Queue xs (y :~ys)) = (y, Queue xs ys);\\
    1.75 @@ -1202,7 +1202,7 @@
    1.76  \isatagquote
    1.77  %
    1.78  \begin{isamarkuptext}%
    1.79 -\isaverbatim%
    1.80 +\isatypewriter%
    1.81  \noindent%
    1.82  \hspace*{0pt}empty{\char95}queue ::~forall a. a;\\
    1.83  \hspace*{0pt}empty{\char95}queue = error {\char34}empty{\char95}queue{\char34};\\