# HG changeset patch
# User paulson
# Date 1114703833 -7200
# Node ID 02d9f110ecc1d6cd9537f8d398275e19b1a30fda
# Parent  8336ff711d80fdb0d564b38b5ab1c93e2eed9576
auto update

diff -r 8336ff711d80 -r 02d9f110ecc1 doc-src/TutorialI/Types/document/Records.tex
--- 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