--- a/doc-src/TutorialI/Types/document/Records.tex Thu Apr 28 17:56:58 2005 +0200
+++ b/doc-src/TutorialI/Types/document/Records.tex Thu Apr 28 17:57:13 2005 +0200
@@ -167,7 +167,7 @@
\medskip
\begin{tabular}{l}
\isa{point}~\isa{{\isacharequal}}~\isa{point} \\
- \isa{{\isacharprime}a\ point{\isacharunderscore}scheme}~\isa{{\isacharequal}}~\isa{{\isacharprime}a\ point{\isacharunderscore}scheme} \\
+ \isa{{\isacharprime}a\ point{\isacharunderscore}scheme}~\isa{{\isacharequal}}~\isa{{\isasymlparr}Xcoord\ {\isacharcolon}{\isacharcolon}\ int{\isacharcomma}\ Ycoord\ {\isacharcolon}{\isacharcolon}\ int{\isacharcomma}\ {\isasymdots}\ {\isacharcolon}{\isacharcolon}\ {\isacharprime}a{\isasymrparr}} \\
\end{tabular}
\medskip