\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}
