1.1 --- a/doc-src/isac/jrocnik/preambleForGeneratedDocuments.tex	Mon Feb 13 17:40:30 2012 +0100
     1.2 +++ b/doc-src/isac/jrocnik/preambleForGeneratedDocuments.tex	Tue Feb 14 22:55:03 2012 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -\section{Preamble}
     1.5 +\section*{Preamble}
     1.6  This document shows the main structure of an {\sisac{}} theory. All of the following part is automatically generated out of an {\sisac{}}-theory file (.thy - extension). In this case the file is called \texttt{Build\_Inverse\_Z\_Transform} it can be found in the {\sisac{}} directory: \texttt{test/Tools/isac/ADDTESTS/course/}. {\sisac{}} provides inbuild tools for translating theories into latex documents. To set up such an envoriemt a file  called \texttt{isacmakefile} is needed. Further information about this automatic generation can be found in \cite{wenzel2011system}.
     1.7  \par The following theory can be modified and used as a guiedline for implementing new applications. Everything found here is just a snapshot of the work with \today.
     1.8  \begin{center}TODO\end{center}
     1.9 \ No newline at end of file