\NeedsTeXFormat{LaTeX2e}[1995/12/01]
\documentclass[11pt,leqno]{book}
\usepackage[T1]{fontenc} %Einbindung der europaeischen Schrift
\usepackage{amssymb,amsfonts,amsmath,latexsym}%
\usepackage{notebook2e} %mathematica styles
\usepackage{a4,german}
%\usepackage{bbm}
\usepackage[latin1]{inputenc}
%\usepackage{ifthen}
\setlength{\unitlength}{1 cm}
\usepackage{makeidx}
\usepackage{graphicx}
\usepackage{psfrag}
\usepackage{color}
\usepackage{epsfig}
\usepackage{amsthm}

\makeindex

\input{kopf}
%\includeonly{automatischesbeweisen}
%Beginn des Textes
\begin{document}
\frontmatter
    \include{deckblatt}
    \tableofcontents
    \include{einleitung}

\mainmatter
    \include{grundlagen}
    \include{automatischesbeweisen}
    \include{fazit}
\appendix
    \include{anhang}
\backmatter

\end{document}
