--- a/doc-src/TutorialI/Types/types.tex Wed Nov 29 10:22:38 2000 +0100
+++ b/doc-src/TutorialI/Types/types.tex Wed Nov 29 13:44:26 2000 +0100
@@ -6,25 +6,23 @@
advanced material:
\begin{itemize}
\item More about basic types: numbers ({\S}\ref{sec:numbers}), pairs
- ({\S}\ref{sec:products}) and records ({\S}\ref{sec:records}), and how to reason
- about them.
+ ({\S}\ref{sec:products}) and records ({\S}\ref{sec:records}), and how to
+ reason about them.
\item Introducing your own types: how to introduce your own new types that
- cannot be constructed with any of the basic methods ({\S}\ref{sec:adv-typedef}).
+ cannot be constructed with any of the basic methods
+ ({\S}\ref{sec:adv-typedef}).
\item Type classes: how to specify and reason about axiomatic collections of
types ({\S}\ref{sec:axclass}).
\end{itemize}
-\section{Basic types}
-
-\subsection{Numbers}
+\section{Numbers}
\label{sec:numbers}
-\subsection{Pairs}
-\label{sec:products}
+\input{Types/document/Pairs}
% Check refs to this section to see what is expected of it.
% Mention type unit
-\subsection{Records}
+\section{Records}
\label{sec:records}
\input{Types/document/Typedef}