From 08a282949ec22b77cb9477103e640b4f9954ba80 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Sun, 10 Feb 2013 00:32:02 -0800
Subject: EC format

---
 definitions.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'definitions.tex')

diff --git a/definitions.tex b/definitions.tex
index de551ca..2c364da 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -1,11 +1,11 @@
 \newcommand{\mutual}{\ensuremath{{I}}}
 \newcommand{\entropy}{\ensuremath{{H}}}
-\newtheorem{lemma}{Lemma}
+%\newtheorem{lemma}{Lemma}
 \newtheorem{fact}{Fact}
-\newtheorem{example}{Example}
+%\newtheorem{example}{Example}
 \newtheorem{prop}{Proposition}
-\newtheorem{theorem}{Theorem}
-\newtheorem{corollary}{Corollary}
+%\newtheorem{theorem}{Theorem}
+%\newtheorem{corollary}{Corollary}
 %\newcommand*{\defeq}{\stackrel{\text{def}}{=}}
 \newcommand*{\defeq}{\equiv}
 \newcommand{\var}{\mathop{\mathrm{Var}}}
-- 
cgit v1.2.3-70-g09d2