From 297af7c33e8cc93494cde48212b502f40adc9546 Mon Sep 17 00:00:00 2001
From: Stratis Ioannidis <stratis@stratis-Latitude-E6320.(none)>
Date: Wed, 3 Jul 2013 14:59:28 -0700
Subject: approx

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

(limited to 'definitions.tex')

diff --git a/definitions.tex b/definitions.tex
index d474853..555c02e 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -1,14 +1,14 @@
 \newcommand{\mutual}{\ensuremath{{I}}}
 \newcommand{\entropy}{\ensuremath{{H}}}
 \newtheorem{lemma}{Lemma}
-\newtheorem{proposition}[lemma]{Proposition}
-\newtheorem{fact}[lemma]{Fact}
-\newtheorem{example}[lemma]{Example}
-\newtheorem{prop}[lemma]{Proposition}
-\newtheorem{theorem}[lemma]{Theorem}
-\newtheorem{corollary}[lemma]{Corollary}
+\newtheorem{proposition}{Proposition}
+\newtheorem{fact}{Fact}
+\newtheorem{example}{Example}
+\newtheorem{prop}{Proposition}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
 \theoremstyle{definition}
-\newtheorem{definition}[lemma]{Definition}
+\newtheorem{definition}{Definition}
 \newcommand{\citeN}{\citet}
 %\newcommand*{\defeq}{\stackrel{\text{def}}{=}}
 \newcommand*{\defeq}{\equiv}
@@ -34,3 +34,4 @@
 \newcommand{\id}{\mathbbm{1}}
 \newcommand{\junk}[1]{}
 \newcommand{\edp}{{\tt EDP}}
+\newcommand{\dom}{\mathcal{D}}
-- 
cgit v1.2.3-70-g09d2