From 7bdf2126c7fddd7f8a5ea2a2e653894c1cfd3f77 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <lakseru@gmail.com>
Date: Sun, 28 Apr 2013 18:27:12 +0200
Subject: [PATCH] Global: definitions not in italics

---
 thesis/DoldKan.tex | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/thesis/DoldKan.tex b/thesis/DoldKan.tex
index 852969d..249cebe 100644
--- a/thesis/DoldKan.tex
+++ b/thesis/DoldKan.tex
@@ -9,12 +9,15 @@
 \usepackage[parfill]{parskip}
 \setlength{\marginparwidth}{2cm}
 
+\theoremstyle{plain}
 \newtheorem{theorem}{Theorem}[section]
-\newtheorem{definition}[theorem]{Definition}
+\newtheorem{proposition}[theorem]{Proposition}
 \newtheorem{lemma}[theorem]{Lemma}
+
+\theoremstyle{definition}
+\newtheorem{definition}[theorem]{Definition}
 \newtheorem{example}[theorem]{Example}
 \newtheorem{exlemma}[theorem]{Example/Lemma}
-\newtheorem{proposition}[theorem]{Proposition}
 
 \input{../thesis/preamble}