diff --git a/org.rodinp.handbook.feature/latex/faq.tex b/org.rodinp.handbook.feature/latex/faq.tex index be5a82acbdd1462dcde7c5d003440ea151bc99e2..aef716b58417b9666cbbb701d0812b298068c1d2 100644 --- a/org.rodinp.handbook.feature/latex/faq.tex +++ b/org.rodinp.handbook.feature/latex/faq.tex @@ -295,7 +295,7 @@ This can take some time. A ``Progress'' view can be opened at the bottom right o Yes, it is. Check out Section~\ref{use_provers_effectively} to begin using the provers. \subsection{How can I do a Proof by Induction?} - +\index{induction@proof by induction} \href{http://wiki.event-b.org/index.php/Induction_proof}{This page about proof by induction} will give you some starting tips. \subsection{What do the labels on the proof tree mean?}