From 27d8e79fc01a9a1e2d17ab7945a627a7fe9f5c4a Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Mon, 5 Nov 2012 20:26:47 +0100
Subject: Changes to section 5

---
 definitions.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'definitions.tex')

diff --git a/definitions.tex b/definitions.tex
index 526f544..de551ca 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -5,6 +5,7 @@
 \newtheorem{example}{Example}
 \newtheorem{prop}{Proposition}
 \newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
 %\newcommand*{\defeq}{\stackrel{\text{def}}{=}}
 \newcommand*{\defeq}{\equiv}
 \newcommand{\var}{\mathop{\mathrm{Var}}}
@@ -26,4 +27,4 @@
 \newcommand{\E}{{\tt E}}
 \newcommand{\id}{\mathbbm{1}}
 \newcommand{\junk}[1]{}
-\newcommand{\edp}{{\tt EDP}}
\ No newline at end of file
+\newcommand{\edp}{{\tt EDP}}
-- 
cgit v1.2.3-70-g09d2