diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/msteger/bakk-arbeit/thesis-preamble.tex
--- a/src/Doc/isac/msteger/bakk-arbeit/thesis-preamble.tex	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,183 +0,0 @@
-\usepackage[          % set page and margin sizes
-  a4paper,
-  twoside=false,
-  top=10mm,
-  bottom=10mm,
-  left=20mm,
-  right=20mm,
-  bindingoffset=10mm,
-  head=10mm,
-  foot=10mm,
-  headsep=10mm,
-  footskip=10mm,
-  includeheadfoot,
-]{geometry}
-
-\usepackage{times}                   % use PostScript fonts
-%\usepackage{ngerman}                % causes ! Illegal parameter number in definition of \grmn@originalTeX. <to be read again> \penalty l.53 \selectlanguage{austrian}
-\usepackage{relsize}                 % relative font sizes \smaller \larger
-
-\usepackage[iso-8859-1]{inputenx}    % so can use Umlaut chars  �, �
-
-\usepackage{textcomp}                % symbols such as \texttimes and \texteuro
-
-\usepackage[bf]{titlesec}
-% format chapter captions (vorher \Huge)
-\titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{}
-\titlespacing*{\chapter}{0em}{-2em}{1.5em}
-
-% use caption and subfig (caption2 and subfigure are now obsolete)
-\usepackage[
-  position=bottom,
-  margin=1cm,
-  font=small,
-  labelfont={bf,sf},
-  format=hang,
-  indention=0mm,
-]{caption,subfig}
-
-\captionsetup[subfigure]{
-  margin=0pt,
-  parskip=0pt,
-  hangindent=0pt,
-  indention=0pt,
-  singlelinecheck=true,
-}
-
-
-
-% fancyhdr to make nice headers and footers
-% and deal with long chapter names
-
-\usepackage{fancyhdr}         % headers and footers
-\pagestyle{fancy}             % must call to set defaults before redefining
-
-\renewcommand{\headrulewidth}{0mm}
-\renewcommand{\footrulewidth}{0mm}
-\fancyhf{}
-
-\fancyhead[R]{\thepage}
-
-\fancyhead[L]{
-  \parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}}
-}
-
-
-% \usepackage{tabularx}                 % for better tables
-\usepackage{multirow}
-\usepackage{listings}                 % for listings of source code
-\usepackage{amsmath}
-
-
-\usepackage[austrian,english]{babel}  % load babel *before* natbib or jurabib
-
-
-\usepackage[square]{natbib}         % natbib but with my own knat.bst
-                                    % made with the custom-bib package
-
-\usepackage{url}
-\def\UrlFont{\small\ttfamily}
-
-\usepackage{latexsym}
-
-\usepackage{color}
-\definecolor{lightgrey}{gray}{0.8}
-% \definecolor{darkgreen}{rgb}{0,0.2,0}
-% \definecolor{darkblue}{rgb}{0,0,0.2}
-% \definecolor{darkred}{rgb}{0.2,0,0}
-
-
-
-\usepackage{ifpdf}
-
-%begin{latexonly}
-\ifpdf
-  % pdflatex
-  \usepackage[pdftex]{graphicx}
-  \DeclareGraphicsExtensions{.pdf,.jpg,.png}
-  \pdfcompresslevel=9
-  \pdfpageheight=297mm
-  \pdfpagewidth=210mm
-  \usepackage{rotating}				% sidewaystable
-  \usepackage[         % hyperref should be last package loaded
-    pdftex,
-    pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving},
-    pdfsubject={Master's Thesis},
-    pdfauthor={Elisabeth Joebstl},
-    pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving},
-    bookmarks,
-    bookmarksnumbered,
-    linktocpage,
-    pagebackref,
-    colorlinks,
-    linkcolor=black,
-    anchorcolor=black,
-    citecolor=black,
-    urlcolor=black,
-    pdfview={FitH},
-    pdfstartview={Fit},
-    pdfpagemode=UseOutlines,       % open bookmarks in Acrobat
-    plainpages=false,              % avoids duplicate page number problem
-    pdfpagelabels,                 % avoids duplicate page number problem
-  ]{hyperref}
-
-  \renewcommand*{\backref}[1]{}
-  \renewcommand*{\backrefalt}[4]{
-  \ifcase #1
-  (Not cited.)
-  \or
-  (Cited on page~#2.)
-  \else
-  (Cited on pages~#2.)
-  \fi
-  }
-
-  \renewcommand*{\backrefsep}{, }
-  \renewcommand*{\backreftwosep}{ and~}
-  \renewcommand*{\backreflastsep}{ and~}
-
-\else
-  % latex
-  \usepackage{rotating}				% sidewaystable
-  \usepackage{graphicx}
-  \DeclareGraphicsExtensions{.eps}
-\fi
-%end{latexonly}
-
-
-% \includeonly{intro,biblio}   % selective inclusion
-
-
-
-\newcommand{\halfh}{9.5cm}        % height of figures for 2 per page
-\newcommand{\thirdh}{6cm}         % height of figures for 3 per page
-
-
-\setlength{\parskip}{3pt plus 1pt minus 0pt}  % vert. space before a paragraph
-
-
-\setcounter{tocdepth}{2}        % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zurücksetzen?
-\setcounter{secnumdepth}{2}     % lowest section level still numbered
-
-
-\input{thesis-macros}
-
-
-% Reduce vertical distance between items
-% itemize
-\let\origitemize\itemize
-\def\itemize{\origitemize\itemsep0pt}
-%enumerate
-\let\origenumerate\enumerate
-\def\enumerate{\origenumerate\itemsep0pt}
-
-
-% FIXXME: bessere Positionierung der Graphiken
-%\setcounter{totalnumber}{8}
-%\setcounter{topnumber}{5}
-%\setcounter{bottomnumber}{5}
-
-%\renewcommand{\topfraction}{0.999}
-%\renewcommand{\bottomfraction}{0.999}
-%\renewcommand{\textfraction}{0.0005}
-