thesis.tex

\documentclass{book}

% PACKAGES
\usepackage[german,english]{babel}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{marvosym}
\usepackage{tikz}
\usetikzlibrary{automata,arrows,positioning}
\usepackage{hyperref}
\usepackage{fancyhdr}
\usepackage[nottoc]{tocbibind}
\usepackage{environ}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{pdfpages}
\usepackage{subcaption}
\usepackage[toc,page]{appendix}

\usepackage{geometry}

% COMMANDS
\newcommand{\enquote}[1]{``#1''}

% Quotient classes
\newcommand{\bigslant}[2]{{\raisebox{.2em}{$#1$}\left/\raisebox{-.2em}{$#2$}\right.}}
%\bigslant{A}{B}


% THEOREM STYLES
\newtheoremstyle{slplain}% name
  {.6\baselineskip\@plus.2\baselineskip\@minus.2\baselineskip}% Space above
  {0}% Space below
  {\slshape}% Body font
  {}%Indent amount (empty = no indent, \parindent = para indent)
  {\bfseries}%  Thm head font
  {.}%       Punctuation after thm head
  { }%      Space after thm head: " " = normal interword space;
        %       \newline = linebreak
  {}%       Thm head spec

\theoremstyle{slplain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lem}[theorem]{Lemma}
\newtheorem{appendixlem}{Lemma}[chapter]
\newtheorem{prop}[theorem]{Proposition}
\newtheorem{cor}[theorem]{Corollary}

\theoremstyle{definition}
\newtheorem{defn}{Definition}[section]
\newtheorem{conj}{Conjecture}
\newtheorem{exmp}{Example}[chapter]

\theoremstyle{remark}
\newtheorem*{rem}{Remark}
\newtheorem*{note}{Note}
\newtheorem{case}{Case}

%FIX HYPERREF
\AtBeginDocument{\let\textlabel\label}

% REMOVE PROOFS
\NewEnviron{killcontents}{}
%\let\proof\killcontents
%\let\endproof\endkillcontents


% DISALLOW LINE BREAKS
\relpenalty=9999
\binoppenalty=9999


\begin{document}

\include{preamble}

\chapter{Basics}


\input{basics}
\vspace{1cm}
\input{exp_rawstats} 



\chapter{General Theory}
\input{general}


\input{skip_merger}

\input{fritz_wilke_06}

\input{iterated_moore}

\input{k_lang_ref}

\input{moore_ltk}

\input{lsf}

\input{schewe_10}

\input{everything}

\begin{appendices}
\input{examples}
\end{appendices}

\newpage\null\thispagestyle{empty}\newpage
%\nocite{*}
\bibliography{citations}
\bibliographystyle{plain}
\newpage\null\thispagestyle{empty}\newpage


\end{document}