doc-src/TutorialI/Types/types.tex

--- a/doc-src/TutorialI/Types/types.tex	Tue Nov 07 18:38:24 2000 +0100
+++ b/doc-src/TutorialI/Types/types.tex	Wed Nov 08 14:38:04 2000 +0100
@@ -22,6 +22,7 @@
 \subsection{Pairs}
 \label{sec:products}
 % Check refs to this section to see what is expected of it.
+% Mention type unit
 
 \subsection{Records}
 \label{sec:records}