doc-src/TutorialI/tutorial.tex
changeset 16359 af7239e3054d
parent 14400 6069098854b9
child 25257 8faf184ba5b1
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Fri Jun 10 17:59:12 2005 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 10 18:36:47 2005 +0200
     1.3 @@ -18,7 +18,6 @@
     1.4  \index{structural induction|see{induction, structural}}
     1.5  \index{termination|see{functions, total}}
     1.6  \index{tuples|see{pairs and tuples}}
     1.7 -\index{settings|see{flags}}
     1.8  \index{*<*lex*>|see{lexicographic product}}
     1.9  
    1.10  \underscoreoff