--- a/doc-src/TutorialI/Types/types.tex Fri Jan 12 16:28:14 2001 +0100
+++ b/doc-src/TutorialI/Types/types.tex Fri Jan 12 16:32:01 2001 +0100
@@ -3,13 +3,13 @@
So far we have learned about a few basic types (for example \isa{bool} and
\isa{nat}), type abbreviations (\isacommand{types}) and recursive datatpes
-(\isacommand{datatype}). This chapter will introduce the following more
+(\isacommand{datatype}). This chapter will introduce more
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.
-\item Introducing your own types: how to introduce your own new types that
+\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