From 7ff4a4d46dbd64cd8bc7c07d0c7f11f13779443c Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Mon, 10 Jun 2013 19:09:15 +0200
Subject: Moving our two main results to a section preceding the introduction
 of our mechanism

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

(limited to 'definitions.tex')

diff --git a/definitions.tex b/definitions.tex
index 616012e..281b290 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -1,6 +1,7 @@
 \newcommand{\mutual}{\ensuremath{{I}}}
 \newcommand{\entropy}{\ensuremath{{H}}}
 \newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
 \newtheorem{fact}{Fact}
 \newtheorem{example}{Example}
 \newtheorem{prop}{Proposition}
-- 
cgit v1.2.3-70-g09d2