
diff -r d2d4125a92ad -r ab97437e021a doc-isac/mlehnfeld/master/thesis/thesis.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/mlehnfeld/master/thesis/thesis.tex	Wed Mar 12 17:43:22 2014 +0100
@@ -0,0 +1,67 @@
+\documentclass[master,english]{hgbthesis}
+% Zulässige Class Options: 
+%   Typ der Arbeit: diplom, master (default), bachelor, praktikum 
+%   Hauptsprache: german (default), english
+%%------------------------------------------------------------
+
+\graphicspath{{images/}}    % wo liegen die Bilder? 
+\bibliography{literature}  	% Angabe der BibTeX-Datei, % utf8-change
+
+\newcommand{\isac}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
+\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
+\newcommand{\isabelle}{{\it Isabelle}}
+
+%%%----------------------------------------------------------
+\begin{document}
+%%%----------------------------------------------------------
+
+% Einträge für ALLE Arbeiten: --------------------------------
+\title{Introducing Parallelism and Concurrency in an Educational Mathematics System using Functional Programming}
+\author{Mathias Lehnfeld}
+\studiengang{Interactive Media}
+\studienort{Hagenberg}
+\abgabedatum{2014}{06}{18}	% {YYYY}{MM}{DD}
+\betreuer{Mag. Volker Christian} % oder \betreuerin{..}
+\betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
+\firma{
+   Institut für Informationssysteme und Computer Medien (IICM)\\
+   Fakultät für Informatik - Technische Universität Graz\\
+   \\
+   Inffeldgasse 16c\\
+   8010 Graz - Österreich - Europa
+}
+
+%%%----------------------------------------------------------
+\frontmatter
+\maketitle
+\tableofcontents
+%%%----------------------------------------------------------
+
+% \include{declaration}
+\include{preface}
+\include{abstract}
+\include{kurzfassung}
+
+%%%----------------------------------------------------------
+\mainmatter         % Hauptteil (ab hier arab. Seitenzahlen)
+%%%----------------------------------------------------------
+
+\include{introduction}
+\include{fundamentals}
+\include{funproglangs_mcsystems}
+\include{isabelle_isac}
+\include{conclusion}
+
+%%%----------------------------------------------------------
+%%%Anhang
+\appendix
+\include{appendix_a}
+
+%%%----------------------------------------------------------
+\MakeBibliography
+%%%----------------------------------------------------------
+
+%%%Messbox zur Druckkontrolle
+\include{messbox}
+
+\end{document}




