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