
diff -r e07927b980ec -r 7eb63f63e6c6 doc-src/TutorialI/tutorial.tex
--- 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}}




