doc-src/TutorialI/Types/types.tex

--- a/doc-src/TutorialI/Types/types.tex	Fri Feb 16 08:10:28 2001 +0100
+++ b/doc-src/TutorialI/Types/types.tex	Fri Feb 16 08:27:17 2001 +0100
@@ -9,13 +9,18 @@
 \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.
+\item Type classes: how to specify and reason about axiomatic collections of
+  types ({\S}\ref{sec:axclass}).
 \item Introducing your own types: how to introduce new types that
   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}
 
+The material in this section goes beyond the needs of most novices.  Serious
+users should at least skim the sections on basic types and on type classes.
+The latter is fairly advanced: read the beginning to understand what it is
+about, but consult the rest only when necessary.
+
 \section{Numbers}
 \label{sec:numbers}
 
@@ -28,8 +33,6 @@
 \section{Records}
 \label{sec:records}
 
-\input{Types/document/Typedef}
-
 \section{Axiomatic type classes}
 \label{sec:axclass}
 \index{axiomatic type class|(}
@@ -62,3 +65,6 @@
 
 \index{axiomatic type class|)}
 \index{*axclass|)}
+
+
+\input{Types/document/Typedef}