# HG changeset patch
# User nipkow
# Date 968946360 -7200
# Node ID 78822f2d921f2603773404098cd82bbd2a7c9434
# Parent  e75e6a603e71e46433491ccd56f42ce4195bf29a
*** empty log message ***

diff -r e75e6a603e71 -r 78822f2d921f doc-src/TutorialI/tricks.tex
--- a/doc-src/TutorialI/tricks.tex	Thu Sep 14 17:24:46 2000 +0200
+++ b/doc-src/TutorialI/tricks.tex	Thu Sep 14 17:46:00 2000 +0200
@@ -22,4 +22,6 @@
 
 \section{Advanced induction techniques}
 \label{sec:advanced-ind}
+\index{induction|(}
 \input{Misc/document/AdvancedInd.tex}
+\index{induction|)}