From 1bd86f146d222f7d50746a8db39f4ffa12c3fd19 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Wed, 31 Oct 2012 14:44:57 +0100
Subject: Restructure the proof to outline clearly the results and highlight
 our contribution

---
 definitions.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'definitions.tex')

diff --git a/definitions.tex b/definitions.tex
index 8d01a6a..752266d 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -22,3 +22,4 @@
 \newcommand{\stratis}[1]{\textcolor{red}{Stratis: #1}}
 \newcommand{\thibaut}[1]{\textcolor{blue}{Thibaut: #1}}
 \newcommand{\T}[1]{#1^T}
+\newcommand{\EDP}{EDP}
-- 
cgit v1.2.3-70-g09d2