doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Fri Jun 10 17:59:12 2005 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 10 18:36:47 2005 +0200
@@ -18,7 +18,6 @@
 \index{structural induction|see{induction, structural}}
 \index{termination|see{functions, total}}
 \index{tuples|see{pairs and tuples}}
-\index{settings|see{flags}}
 \index{*<*lex*>|see{lexicographic product}}
 
 \underscoreoff