1.1 --- a/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex	Fri Oct 07 16:23:56 2011 +0200
     1.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex	Fri Oct 07 16:54:31 2011 +0200
     1.3 @@ -38,6 +38,11 @@
     1.4  \tableofcontents
     1.5  \clearpage
     1.6  
     1.7 +\abstract{
     1.8 +abstract TODO\\
     1.9 +}
    1.10 +
    1.11 +This thesis is structured as follows
    1.12  
    1.13  \section{Introduction}
    1.14  
    1.15 @@ -51,6 +56,8 @@
    1.16  
    1.17  This thesis tries to \textbf{connect these two worlds} ... this trial is one of the first; others see related work
    1.18  
    1.19 +the major challenge of the practical part is, that ``connecting the two worlds'' involves programming in a CTP-based programming language which is in a very early state of prototyping.
    1.20 +
    1.21  \subsection{Mechanization of Mathematics}
    1.22  
    1.23  todo