--- a/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex Thu Apr 12 15:01:13 2007 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex Thu Apr 12 15:35:29 2007 +0200
@@ -559,7 +559,7 @@
\ idem\ {\isacharless}\ type\isanewline
\ \ idem{\isacharcolon}\ {\isachardoublequoteopen}f\ {\isacharparenleft}f\ x{\isacharparenright}\ {\isacharequal}\ f\ x{\isachardoublequoteclose}%
\begin{isamarkuptext}%
-together with a corresponding interpretation:%
+\noindent together with a corresponding interpretation:%
\end{isamarkuptext}%
\isamarkuptrue%
\isacommand{interpretation}\isamarkupfalse%