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