--- 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|)}