diff --git a/org.rodinp.handbook.feature/latex/reference-02.tex b/org.rodinp.handbook.feature/latex/reference-02.tex index 8c5bd920e4898d95ed752288537db16a4d94f66d..6ab397f9eca9d6faf2e5ae16b2a53115cb4a88c0 100644 --- a/org.rodinp.handbook.feature/latex/reference-02.tex +++ b/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