1.1 --- a/doc-src/isac/jrocnik/IsaMakefile	Thu Sep 08 23:17:35 2011 +0200
     1.2 +++ b/doc-src/isac/jrocnik/IsaMakefile	Fri Sep 09 15:01:28 2011 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  OUT = $(ISABELLE_OUTPUT)
     1.5  LOG = $(OUT)/log
     1.6  
     1.7 -USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
     1.8 +USEDIR = $(ISABELLE_TOOL) usedir -v false -d false -C false -D doc
     1.9  
    1.10  
    1.11  ## Inverse_Z_Transform

     2.1 --- a/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex	Thu Sep 08 23:17:35 2011 +0200
     2.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex	Fri Sep 09 15:01:28 2011 +0200
     2.3 @@ -45,7 +45,7 @@
     2.4  
     2.5  \textbf{mathematics applied} in signal processing (SP)
     2.6  
     2.7 -mathematics mechanized in Computer Theorem Provers \textbf{(CTP)} ... (almost) traditional mathematical notation (predicate calculus) for axioms, definitions, lemmas, theorems. Recent developments provide also proofs in a humand readable format \cite{TODO}
     2.8 +mathematics mechanized in Computer Theorem Provers \textbf{(CTP)} ... (almost) traditional mathematical notation (predicate calculus) for axioms, definitions, lemmas, theorems. Recent developments provide also proofs in a humand readable format TODO
     2.9  
    2.10  This thesis tries to \textbf{connect these two worlds} ... this trial is one of the first; others see related work
    2.11  
    2.12 @@ -166,7 +166,7 @@
    2.13  
    2.14  \clearpage
    2.15  
    2.16 -\bibliography{bib}
    2.17 +%\bibliography{bib}
    2.18  
    2.19  \clearpage
    2.20  
    2.21 @@ -174,7 +174,7 @@
    2.22  %\section*{Anhang}
    2.23  \section{Demobeispiel}
    2.24  
    2.25 -\input{./Inverse_Z_Transform/document/Inverse_Z_Transform.tex}
    2.26 +\input{./Inverse_Z_Transform/doc/Inverse_Z_Transform.tex}
    2.27  
    2.28  \begin{verbatim}
    2.29