1.1 --- a/doc-src/TutorialI/Types/types.tex	Wed Nov 29 18:42:40 2000 +0100
     1.2 +++ b/doc-src/TutorialI/Types/types.tex	Thu Nov 30 13:56:46 2000 +0100
     1.3 @@ -19,11 +19,9 @@
     1.4  \section{Numbers}
     1.5  \label{sec:numbers}
     1.6  
     1.7 -\index{product type|(}
     1.8 +\index{pair|(}
     1.9  \input{Types/document/Pairs}
    1.10 -\index{product type|)}
    1.11 -% Check refs to this section to see what is expected of it.
    1.12 -% Mention type unit
    1.13 +\index{pair|)}
    1.14  
    1.15  \section{Records}
    1.16  \label{sec:records}