--- a/doc-src/TutorialI/tutorial.tex Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/tutorial.tex Tue Jul 17 13:46:21 2001 +0200
@@ -10,9 +10,11 @@
\makeindex
-\index{termination|see{total function}}
-\index{product type|see{pair}}
-\index{tuple|see{pair}}
+\index{primitive recursion|see{\isacommand{primrec}}}
+\index{product type|see{pairs and tuples}}
+\index{termination|see{functions, total}}
+\index{tuples|see{pairs and tuples}}
+\index{settings|see{flags}}
\index{*<*lex*>|see{lexicographic product}}
\underscoreoff