From c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 27 Nov 2012 14:11:18 +1100
Subject: A bunch more thesis stuff.

---
 tex/thesis/contribution/contribution.tex | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'tex/thesis/contribution')

diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex
index 9e90749..c4a0700 100644
--- a/tex/thesis/contribution/contribution.tex
+++ b/tex/thesis/contribution/contribution.tex
@@ -693,11 +693,6 @@ This algorithm is presented in three parts.
   Adapted W-DFS algorithm presented in Section \ref{sec:adapted-wdfs},
   with some modifications to allow for communication with the fixpoint
   portion of the algorithm.
-
-\item
-  Section \ref{sec:ldsi:correctness} argues the correctness of this
-  approach for finding the least fixpoints of monotonic, expansive
-  equation systems involving $\max$-expressions.
 \end{itemize}
 
 \subsection{Top level} \label{sec:ldsi:top-level}
-- 
cgit v1.2.3