*** empty log message ***
authornipkow
Thu Sep 14 17:46:00 2000 +0200 (2000-09-14)
changeset 995778822f2d921f
parent 9956 e75e6a603e71
child 9958 67f2920862c7
*** empty log message ***
doc-src/TutorialI/tricks.tex
     1.1 --- a/doc-src/TutorialI/tricks.tex	Thu Sep 14 17:24:46 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tricks.tex	Thu Sep 14 17:46:00 2000 +0200
     1.3 @@ -22,4 +22,6 @@
     1.4  
     1.5  \section{Advanced induction techniques}
     1.6  \label{sec:advanced-ind}
     1.7 +\index{induction|(}
     1.8  \input{Misc/document/AdvancedInd.tex}
     1.9 +\index{induction|)}