
diff -r 3ed58bbcf4bd -r 332347b9b942 doc-src/TutorialI/tutorial.tex
--- 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




