--- a/doc-src/TutorialI/Types/document/Pairs.tex Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/Types/document/Pairs.tex Tue Jul 17 13:46:21 2001 +0200
@@ -2,12 +2,12 @@
\begin{isabellebody}%
\def\isabellecontext{Pairs}%
%
-\isamarkupsection{Pairs%
+\isamarkupsection{Pairs and Tuples%
}
%
\begin{isamarkuptext}%
\label{sec:products}
-Pairs were already introduced in \S\ref{sec:pairs}, but only with a minimal
+Ordered pairs were already introduced in \S\ref{sec:pairs}, but only with a minimal
repertoire of operations: pairing and the two projections \isa{fst} and
\isa{snd}. In any non-trivial application of pairs you will find that this
quickly leads to unreadable formulae involving nests of projections. This