
diff -r 3ed58bbcf4bd -r 332347b9b942 doc-src/TutorialI/Inductive/inductive.tex
--- a/doc-src/TutorialI/Inductive/inductive.tex	Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Tue Jul 17 13:46:21 2001 +0200
@@ -1,5 +1,5 @@
 \chapter{Inductively Defined Sets} \label{chap:inductive}
-\index{inductive definition|(}
+\index{inductive definitions|(}
 
 This chapter is dedicated to the most important definition principle after
 recursive functions and datatypes: inductively defined sets.
@@ -23,4 +23,4 @@
 
 \input{Inductive/document/AB}
 
-\index{inductive definition|)}
+\index{inductive definitions|)}




