From 3ae0c6ee2d6b3e1afb577744021a352ea17887ec Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Thu, 10 Oct 2013 10:03:34 +0000 Subject: [PATCH] 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 | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/org.rodinp.handbook.feature/latex/reference-02.tex b/org.rodinp.handbook.feature/latex/reference-02.tex index 8c5bd92..6ab397f 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 -- GitLab