\pagestyle{empty}

\begin{center}
\LARGE \bf \renewcommand{\baselinestretch}{1.3}
\parbox{.99\textwidth}{\centering
A Tactic-Based Inductive Theorem Prover\\[1mm]
for Data Types with Partial Operations}\\[15mm]
\end{center}
\normalsize
\vspace{10mm}
\begin{center}
Vom Fachbereich Informatik der Universit\"at Kaiserslautern\\
zur Verleihung des akademischen Grades\\
Doktor der Naturwissenschaften (Dr.\ rer.\ nat.)\\
genehmigte Dissertation von\\[20mm]
{\large Ulrich K\"uhler}
\end{center}

\vspace{70mm}

\begin{tabular}{ll}
Berichterstatter: & Prof.\ Dr.\ J\"urgen Avenhaus \\[0.2ex]
                  & Prof.\ Dr.\ Klaus E.\ Madlener\\[0.8ex]
Dekan:            & Prof.\ Dr.\ Michael M.~Richter
\end{tabular}

\vspace{7mm}
\hspace*{1.1ex}Datum der wissenschaftlichen Aussprache:  \hspace{0.8em}22.\ Oktober 1999

\vfill
\begin{center}
D 386
\end{center}

\cleardoublepage

\input{abstract}

\cleardoublepage
\input{zusammenfassung}

%\cleardoublepage
%\vspace*{16cm}
%\hspace*{10cm}
%\begin{minipage}{5cm}
%\begin{center}
%{\it F\"ur meine Eltern\\
%und Almut}
%\end{center}
%\end{minipage}

\cleardoublepage
\pagestyle{fancy}
\pagenumbering{roman}
\tableofcontents
\cleardoublepage
\pagenumbering{arabic}