doc-src/TutorialI/CTL/document/Base.tex

--- a/doc-src/TutorialI/CTL/document/Base.tex	Thu Jan 19 21:22:27 2006 +0100
+++ b/doc-src/TutorialI/CTL/document/Base.tex	Thu Jan 19 21:22:29 2006 +0100
@@ -97,7 +97,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isacommand{typedecl}\isamarkupfalse%
-\ atom%
+\ {\isachardoublequoteopen}atom{\isachardoublequoteclose}%
 \begin{isamarkuptext}%
 \noindent
 and a \emph{labelling function}%