moved index entries into table

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15963 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.feature/latex/reference-02.tex

@@ -664,6 +664,12 @@ For a guard $H_{thm}$, $H_b$ denotes (the conjunction of) all the event's
 \label{generated_proof_obligations}
 \index{proof obligation!generation}
 
+Table \ref{tab:generated_pos} shows
+ a brief overview about the different proof obligations that are generated.
+The user can use this table to identify a specific proof obligation. For further information, 
+a reference to the relevant reference section is provided.
+
+\begin{table}
 \index{WD (well-definedness proof obligation)}
 \index{THM (theorem proof obligation)}
 \index{FIS (feasibility proof obligation)}
@@ -678,13 +684,6 @@ For a guard $H_{thm}$, $H_b$ denotes (the conjunction of) all the event's
 \index{FIN (finiteness proof obligation)}
 \index{NAT (natural number proof obligation)}
 \index{VAR (decreasing of variant proof obligation)}
-
-Table \ref{tab:generated_pos} shows
- a brief overview about the different proof obligations that are generated.
-The user can use this table to identify a specific proof obligation. For further information, 
-a reference to the relevant reference section is provided.
-
-\begin{table}
   \centering
 \begin{tabular}{p{0.4\textwidth}ll}
   \hline