
diff -r b3b61ea9632c -r c315dda16748 doc-src/TutorialI/Inductive/inductive.tex
--- a/doc-src/TutorialI/Inductive/inductive.tex	Wed Jul 11 17:55:46 2001 +0200
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Thu Jul 12 16:33:36 2001 +0200
@@ -1,6 +1,5 @@
 \chapter{Inductively Defined Sets} \label{chap:inductive}
 \index{inductive definition|(}
-\index{*inductive|(}
 
 This chapter is dedicated to the most important definition principle after
 recursive functions and datatypes: inductively defined sets.
@@ -25,4 +24,3 @@
 \input{Inductive/document/AB}
 
 \index{inductive definition|)}
-\index{*inductive|)}




