From 56253bb0fa48a43c0f86801b3956e6aecdb218ae Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Tue, 27 Nov 2012 11:03:23 +0000 Subject: [PATCH] added index "proof of induction" git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15313 1434b563-b632-4741-aa49-43a3a8374d2e --- org.rodinp.handbook.feature/latex/faq.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.rodinp.handbook.feature/latex/faq.tex b/org.rodinp.handbook.feature/latex/faq.tex index be5a82a..aef716b 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?} -- GitLab