1.1 --- a/src/Doc/isac/msteger/bakk-arbeit/thesis-acknowl.tex	Mon Sep 16 12:27:20 2013 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,55 +0,0 @@
     1.4 -%\begin{changemargin}{1.5cm}{1.5cm}
     1.5 -
     1.6 -%\chapter*{Acknowledgements}
     1.7 -%\addcontentsline{toc}{chapter}{Acknowledgements}
     1.8 -
     1.9 -
    1.10 -
    1.11 -\begin{center}
    1.12 -{\Large\bfseries Acknowledgements}
    1.13 -\end{center}
    1.14 -%\vspace*{3mm}
    1.15 -
    1.16 -\begin{changemargin}{1.5cm}{1.5cm}
    1.17 -I would like to thank Professor Berhard Aichernig for having prepared the grounds for this thesis by his work on test case generation and in particular in his interest in the computer theorem prover Isabelle.
    1.18 -
    1.19 -His general surveys on computer theorem proving, on programming languages in general, on functional programming in particular and on respective advantages in upcoming multi-core computing were inspiring and they motivate the directions for my future studies.
    1.20 -
    1.21 -Many thanks also to Walther Neuper, who was always available for the many intricacies of Isabelle/Isar and the technicalities involved when doing a bachelor project and writing a thesis.
    1.22 -
    1.23 -\begin{flushright}
    1.24 -Marco Steger \\ {\small Graz, June 30, 2011}
    1.25 -\end{flushright}
    1.26 -\end{changemargin}
    1.27 -
    1.28 -\selectlanguage{austrian}
    1.29 -
    1.30 -\vspace*{5mm}
    1.31 -
    1.32 -\begin{center}
    1.33 -{\Large\bfseries Danksagung}
    1.34 -\end{center}
    1.35 -%\vspace*{0mm}
    1.36 -
    1.37 -\begin{changemargin}{1.5cm}{1.5cm}
    1.38 -Ich möchte mich herzlich bei allen bedanken, die diese Bakkalaureats-Arbeit unterst\"utzt haben.
    1.39 -
    1.40 -Herr Professor Bernhard Aichernig hat die Voraussetzungen f\"ur die Themenstellung der Arbeit durch seine F\&E in Test-Case-Generation geschaffen; Isabelle geh\"ort auch zu seinem Tool-Set.
    1.41 -
    1.42 -Besonder inspirierend waren seine \"Uberblicks-Informationen zu Computer Theorem Proving, zu Programm-Sprachen im Allgemeinen und zu funktionalen Sprachen im Besonderen, die ihre Vorteile bei den kommenden Multi-Core-Prozessoren zum Tragen bringen werden; diese Informationen werden auch meine Entscheidung f\"ur Wahlf\"acher in den kommenden Semestern motivieren.
    1.43 -
    1.44 -Walther Neuper war immer hilfreich in allen technischen Fragen zu Isabelle/Isar und in organisatorischen Fragen zu Bachelor-Projekt und -Thesis.
    1.45 -
    1.46 -\begin{flushright}
    1.47 -Marco Steger \\ {\small Graz, am 30 Juni 2011}
    1.48 -\end{flushright}
    1.49 -\end{changemargin}
    1.50 -
    1.51 -\selectlanguage{english}
    1.52 -
    1.53 -
    1.54 -
    1.55 -
    1.56 -
    1.57 -
    1.58 -