--- a/doc-src/TutorialI/tutorial.tex Wed Jul 25 18:21:01 2001 +0200
+++ b/doc-src/TutorialI/tutorial.tex Thu Jul 26 16:43:02 2001 +0200
@@ -11,8 +11,9 @@
\makeindex
\index{conditional expressions|see{\isa{if} expressions}}
-\index{primitive recursion|see{\isacommand{primrec}}}
+\index{primitive recursion|see{recursion, primitive}}
\index{product type|see{pairs and tuples}}
+\index{structural induction|see{induction, structural}}
\index{termination|see{functions, total}}
\index{tuples|see{pairs and tuples}}
\index{settings|see{flags}}