doc-src/isac/jrocnik/bakkarbeit_jrocnik.tex
branchdecompose-isar
changeset 42251 e41d91e86fa9
parent 42246 8883440b9074
child 42252 e633bb41ea42
equal deleted inserted replaced
42250:fdc85b0443e6 42251:e41d91e86fa9
     6 
     6 
     7 \usepackage{graphicx}
     7 \usepackage{graphicx}
     8 \usepackage{endnotes}
     8 \usepackage{endnotes}
     9 \usepackage{trfsigns}
     9 \usepackage{trfsigns}
    10 \usepackage{setspace}
    10 \usepackage{setspace}
       
    11 \usepackage{isabelle}
       
    12 \usepackage{isabellesym}
    11 
    13 
    12 \bibliographystyle{alpha}
    14 \bibliographystyle{alpha}
    13 
    15 
    14 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    16 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    15 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    17 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
   168 
   170 
   169 \clearpage
   171 \clearpage
   170 
   172 
   171 \appendix
   173 \appendix
   172 %\section*{Anhang}
   174 %\section*{Anhang}
   173 \section{Demobeispiel}\label{demo-code}
   175 \section{Demobeispiel}
       
   176 
       
   177 \input{./Inverse_Z-Transform/document/Inverse_Z_Transform.tex}
       
   178 
   174 \begin{verbatim}
   179 \begin{verbatim}
   175 
   180 
   176 bsp
   181 bsp
   177 
   182 
   178 \end{verbatim}
   183 \end{verbatim}
   184     {\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
   189     {\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
   185     10.02.2011 & 2:00 & Besprechung der Problemstellung \\
   190     10.02.2011 & 2:00 & Besprechung der Problemstellung \\
   186 \end{tabular}
   191 \end{tabular}
   187 
   192 
   188 \section{Calculations}
   193 \section{Calculations}
   189 \include{calulations}
   194 \input{calulations}
   190 
   195 
   191 
   196 
   192 \end{document}
   197 \end{document}