--- a/doc-src/TutorialI/Types/types.tex Wed Nov 29 13:44:26 2000 +0100
+++ b/doc-src/TutorialI/Types/types.tex Wed Nov 29 17:23:27 2000 +0100
@@ -1,4 +1,5 @@
\chapter{More about Types}
+\label{ch:more-types}
So far we have learned about a few basic types (for example \isa{bool} and
\isa{nat}), type abbreviations (\isacommand{types}) and recursive datatpes
@@ -18,7 +19,9 @@
\section{Numbers}
\label{sec:numbers}
+\index{product type|(}
\input{Types/document/Pairs}
+\index{product type|)}
% Check refs to this section to see what is expected of it.
% Mention type unit