doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex
branchdecompose-isar
changeset 42251 e41d91e86fa9
parent 42246 8883440b9074
child 42252 e633bb41ea42
     1.1 --- a/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex	Wed Sep 07 12:55:28 2011 +0200
     1.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex	Thu Sep 08 23:06:39 2011 +0200
     1.3 @@ -8,6 +8,8 @@
     1.4  \usepackage{endnotes}
     1.5  \usepackage{trfsigns}
     1.6  \usepackage{setspace}
     1.7 +\usepackage{isabelle}
     1.8 +\usepackage{isabellesym}
     1.9  
    1.10  \bibliographystyle{alpha}
    1.11  
    1.12 @@ -170,7 +172,10 @@
    1.13  
    1.14  \appendix
    1.15  %\section*{Anhang}
    1.16 -\section{Demobeispiel}\label{demo-code}
    1.17 +\section{Demobeispiel}
    1.18 +
    1.19 +\input{./Inverse_Z-Transform/document/Inverse_Z_Transform.tex}
    1.20 +
    1.21  \begin{verbatim}
    1.22  
    1.23  bsp
    1.24 @@ -186,7 +191,7 @@
    1.25  \end{tabular}
    1.26  
    1.27  \section{Calculations}
    1.28 -\include{calulations}
    1.29 +\input{calulations}
    1.30  
    1.31  
    1.32  \end{document}