--- a/doc-src/TutorialI/Types/types.tex Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/Types/types.tex Tue Jul 17 13:46:21 2001 +0200
@@ -23,16 +23,16 @@
\input{Types/numerics}
-\index{pair|(}
+\index{pairs and tuples|(}
\input{Types/document/Pairs}
-\index{pair|)}
+\index{pairs and tuples|)}
\input{Types/records}
\section{Axiomatic Type Classes}
\label{sec:axclass}
-\index{axiomatic type class|(}
+\index{axiomatic type classes|(}
\index{*axclass|(}
@@ -62,7 +62,7 @@
\input{Types/document/Axioms}
-\index{axiomatic type class|)}
+\index{axiomatic type classes|)}
\index{*axclass|)}