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