\documentstyle[amstex,german,dina4,12pt]{article}

\input diagrams
\input prooftree
\renewcommand{\baselinestretch}{1.1}

\newtheorem{satz}{Satz}[section]
\newtheorem{hilfssatz}[satz]{Hilfssatz}
\newtheorem{axiom}[satz]{Axiom}
\newtheorem{kor}[satz]{Korollar}
\newtheorem{lemma}[satz]{Lemma}
\newtheorem{alg}[satz]{Algorithmus}
\newtheorem{folgerung}[satz]{Folgerung}
\newtheorem{definition}[satz]{Definition}

\newenvironment{beweis}{\noindent{\bf Beweis: }}
               {\nopagebreak\hfill$\Box$ \vspace{2ex}}
\newenvironment{beispiel}{\vspace{1ex}\noindent{\bf Beispiel: }}{}

% Original cases Umgebung aus plain.tex
\def\Cases#1{\left\{\,\vcenter{\normalbaselines\mathsurround=0pt
    \ialign{$##\hfil$&\quad##\hfil\crcr#1\crcr}}\right.}

\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\phi}{\varphi}
\renewcommand{\emptyset}{\mbox{\raisebox{.2ex}{{\large $o$} \hspace{-.85em}/}}}
\newcommand{\ememptyset}{\mbox{\em \raisebox{.2ex}{{\large $o$} 
              \hspace{-.85em}/}}}
\newcommand{\N}{{\Bbb N}}
\newcommand{\T}{\underline{\bf \cal T}}
\renewcommand{\S}{\underline{\bf \cal S}}
\newcommand{\R}{\underline{\bf \cal R}}
\newcommand{\F}{\underline{\bf \cal F}}
\newcommand{\ra}{\rightarrow}
\newcommand{\notvd}{\vdash \hspace{-.9em} /\hspace{.4em}}
\newcommand{\aeq}{$\raisebox{-1ex}{$\stackrel{\displaystyle 
                  =}{\scriptstyle \alpha}$}$}
\newcommand{\notsim}{\mbox{\hspace{.25em}$\sim\hspace{-.9em}
                  /\hspace{.4em}$}}
\newcommand{\notapprox}{\mbox{\hspace{.25em}$\approx\hspace{-.9em}
                  /\hspace{.4em}$}}
\newcommand{\smallsmile}{\;{\scriptstyle \smile}\;}
\newcommand{\minismile}{\;{\mbox{\tiny $\smile$}}\;}
\newcommand{\appox}{\mbox{
    \hspace{-.3em}\raisebox{-.13ex}{$\smallsmile$}
    \hspace{-1.63em}\raisebox{-.1ex}{$\smallsmile$}
    \hspace{-1.63em}\raisebox{-.07ex}{$\smallsmile$}
    \hspace{-1.62em}\raisebox{.4ex}{$\smallsmile$}
    \hspace{-1.62em}\raisebox{.43ex}{$\smallsmile$}
    \hspace{-1.62em}\raisebox{.46ex}{$\smallsmile$} 
  }\!\!}
\newcommand{\smsmile}{\mbox{
    \hspace{-.3em}\raisebox{.07ex}{$\smallsmile$}
    \hspace{-1.63em}\raisebox{.1ex}{$\smallsmile$}
    \hspace{-1.63em}\raisebox{.13ex}{$\smallsmile$}
  }\!\!}
\newcommand{\indexappox}{\mbox{
    \hspace{-.67em}\raisebox{-.2ex}{$\minismile$}
    \hspace{-1.52em}\raisebox{-.18ex}{$\minismile$}
    \hspace{-1.52em}\raisebox{-.16ex}{$\minismile$}
    \hspace{-1.52em}\raisebox{.18ex}{$\minismile$}
    \hspace{-1.53em}\raisebox{.2ex}{$\minismile$}
    \hspace{-1.53em}\raisebox{.22ex}{$\minismile$} 
  }\!\!}

\newarrow{Ondotsto}....{>>}
\newarrow{Lrto}<--->
\newarrow{Lrdotsto}<...>

\begin{document}
\parskip1.5ex
\sloppy
%\pagestyle{headings}
\input{titel.tex}
\tableofcontents
\include{einleitung}
\include{kapitel1}
\include{kapitel2}
\include{kapitel3}
\include{zusammenfassung}
\clearpage
\addcontentsline{toc}{section}{Literaturverzeichnis}
\bibliographystyle{alpha}
\bibliography{biblio}
\end{document}


