1 files changed, 93 insertions, 4 deletions

diff --git a/preamble.tex b/preamble.tex
index f0d802c..183313b 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -6,9 +6,24 @@
 \usepackage{bussproofs}
 \usepackage{tikz}
 \usepackage{tikz-qtree,tikz-qtree-compat,circuitikz}
+\usepackage{translations}
+\usepackage{float}
+\usepackage{csquotes}
+\usepackage{stmaryrd}
+\usepackage{cancel}
+\usepackage{array}
 
-\renewcommand{\algorithmicrequire}{\textbf{Input:}}
-\renewcommand{\algorithmicensure}{\textbf{Output:}}
+\usetikzlibrary{positioning}
+
+\newcolumntype{L}{>{$}l<{$}}
+\newcolumntype{C}{>{$}c<{$}}
+
+\DeclareTranslation{English}{float-algorithm}{Algorithm}
+\DeclareTranslation{German}{float-algorithm}{Algorithmus}
+
+\floatstyle{ruled}
+\newfloat{algorithm}{tbp}{lop}
+\floatname{algorithm}{\GetTranslation{float-algorithm}}
 
 \lstset{
 frame=tb,
@@ -30,5 +45,79 @@ keywordstyle=
 \providecommand{\limplies}{\ensuremath{\Rightarrow}}
 \providecommand{\seq}{\ensuremath{\Longrightarrow}}
 
-\theoremstyle{definition}
-\newtheorem*{def*}{Definition}
+\DeclareTranslation{English}{thm-definition}{Definition}
+\DeclareTranslation{German}{thm-definition}{Definition}
+\DeclareTranslation{English}{thm-theorem}{Theorem}
+\DeclareTranslation{German}{thm-theorem}{Satz}
+\DeclareTranslation{English}{thm-example}{Example}
+\DeclareTranslation{German}{thm-example}{Beispiel}
+\DeclareTranslation{English}{thm-remark}{Remark}
+\DeclareTranslation{German}{thm-remark}{Anmerkung}
+\DeclareTranslation{English}{thm-lemma}{Lemma}
+\DeclareTranslation{German}{thm-lemma}{Lemma}
+\DeclareTranslation{English}{thm-proofsketch}{Proof Sketch}
+\DeclareTranslation{German}{thm-proofsketch}{Beweisskizze}
+\DeclareTranslation{English}{thm-show}{To show}
+\DeclareTranslation{German}{thm-show}{Zu Zeigen}
+
+\makeatletter
+\newtheoremstyle{definition.indented}
+  {3pt}% space before
+  {3pt}% space after
+  {\addtolength{\@totalleftmargin}{2.5em}
+   \addtolength{\linewidth}{-2.5em}
+   \parshape 1 2.5em \linewidth}% body font
+  {}% indent
+  {\bfseries}% header font
+  {.}% punctuation
+  {.5em}% after theorem header
+  {}% header specification (empty for default)
+\newtheoremstyle{plain.indented}
+  {3pt}% space before
+  {3pt}% space after
+  {\addtolength{\@totalleftmargin}{2.5em}
+   \addtolength{\linewidth}{-2.5em}
+   \parshape 1 2.5em \linewidth
+   \itshape}% body font
+  {}% indent
+  {\bfseries}% header font
+  {.}% punctuation
+  {.5em}% after theorem header
+  {}% header specification (empty for default)
+\newtheoremstyle{remark.indented}
+  {3pt}% space before
+  {3pt}% space after
+  {\addtolength{\@totalleftmargin}{2.5em}
+   \addtolength{\linewidth}{-2.5em}
+   \parshape 1 2.5em \linewidth}% body font
+  {}% indent
+  {\itshape}% header font
+  {.}% punctuation
+  {.5em}% after theorem header
+  {}% header specification (empty for default)
+\makeatother
+
+\theoremstyle{definition.indented}
+\newtheorem{defn}{\GetTranslation{thm-definition}}
+\newtheorem*{defn*}{\GetTranslation{thm-definition}}
+
+\theoremstyle{plain.indented}
+\newtheorem{thm}{\GetTranslation{thm-theorem}}
+\newtheorem*{thm*}{\GetTranslation{thm-theorem}}
+\newtheorem{lem}[thm]{\GetTranslation{thm-lemma}}
+\newtheorem*{lem*}{\GetTranslation{thm-lemma}}
+
+\theoremstyle{remark.indented}
+\newtheorem{rem}{\GetTranslation{thm-remark}}
+\newtheorem*{rem*}{\GetTranslation{thm-remark}}
+\newtheorem{eg}[rem]{\GetTranslation{thm-example}}
+\newtheorem*{eg*}{\GetTranslation{thm-example}}
+\newtheorem*{sketch}{\GetTranslation{thm-proofsketch}}
+\newtheorem*{tshow}{\GetTranslation{thm-show}}
+
+\newcommand\restr[2]{{% we make the whole thing an ordinary symbol
+  \left.\kern-\nulldelimiterspace % automatically resize the bar with \right
+  #1 % the function
+  \vphantom{\big|} % pretend it's a little taller at normal size
+  \right|_{#2} % this is the delimiter
+  }}