From 259c0f822da082801171a50fcd68a7add543235d Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Wed, 31 May 2017 11:42:13 +0200
Subject: Definitions

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

diff --git a/preamble.tex b/preamble.tex
index bd24801..f0d802c 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -30,4 +30,5 @@ keywordstyle=
 \providecommand{\limplies}{\ensuremath{\Rightarrow}}
 \providecommand{\seq}{\ensuremath{\Longrightarrow}}
 
+\theoremstyle{definition}
 \newtheorem*{def*}{Definition}
-- 
cgit v1.2.3