From 3d27f4b6a4a3df2acb5685b39610960c4143e9c2 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sun, 23 Dec 2018 21:24:36 +0100
Subject: Make explicit lattice discretization even more verbose

---
 main.tex | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index a32efad..dc357eb 100644
--- a/main.tex
+++ b/main.tex
@@ -30,14 +30,6 @@
 
 \setlength{\topmargin}{-15mm}
 
-\newtheorem{Satz}{Satz}[section]
-\newtheorem{Lemma}[Satz]{Lemma}
-
-\theoremstyle{definition}
-\newtheorem{Definition}{Definition}[section]
-
-\numberwithin{equation}{section}
-
 \input{commands.tex}
 
 \begin{document}
-- 
cgit v1.2.3

