doc-src/TutorialI/Types/types.tex

--- a/doc-src/TutorialI/Types/types.tex	Sat Nov 04 18:54:22 2000 +0100
+++ b/doc-src/TutorialI/Types/types.tex	Mon Nov 06 11:32:23 2000 +0100
@@ -14,6 +14,18 @@
   types ({\S}\ref{sec:axclass}).
 \end{itemize}
 
+\section{Basic types}
+
+\subsection{Numbers}
+\label{sec:numbers}
+
+\subsection{Pairs}
+\label{sec:products}
+% Check refs to this section to see what is expected of it.
+
+\subsection{Records}
+\label{sec:records}
+
 \input{Types/document/Typedef}
 
 \section{Axiomatic type classes}