1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/jrocnik/Inverse_Z_Transform/document/root.tex	Thu Sep 08 23:17:35 2011 +0200
     1.3 @@ -0,0 +1,60 @@
     1.4 +\documentclass[11pt,a4paper]{article}
     1.5 +\usepackage{isabelle,isabellesym}
     1.6 +
     1.7 +% further packages required for unusual symbols (see also
     1.8 +% isabellesym.sty), use only when needed
     1.9 +
    1.10 +%\usepackage{amssymb}
    1.11 +  %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
    1.12 +  %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
    1.13 +  %\<triangleq>, \<yen>, \<lozenge>
    1.14 +
    1.15 +%\usepackage[greek,english]{babel}
    1.16 +  %option greek for \<euro>
    1.17 +  %option english (default language) for \<guillemotleft>, \<guillemotright>
    1.18 +
    1.19 +%\usepackage[only,bigsqcap]{stmaryrd}
    1.20 +  %for \<Sqinter>
    1.21 +
    1.22 +%\usepackage{eufrak}
    1.23 +  %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
    1.24 +
    1.25 +%\usepackage{textcomp}
    1.26 +  %for \<onequarter>, \<onehalf>, \<threequarters>, \<degree>, \<cent>,
    1.27 +  %\<currency>
    1.28 +
    1.29 +% this should be the last package used
    1.30 +\usepackage{pdfsetup}
    1.31 +
    1.32 +% urls in roman style, theory text in math-similar italics
    1.33 +\urlstyle{rm}
    1.34 +\isabellestyle{it}
    1.35 +
    1.36 +% for uniform font size
    1.37 +%\renewcommand{\isastyle}{\isastyleminor}
    1.38 +
    1.39 +
    1.40 +\begin{document}
    1.41 +
    1.42 +\title{Inverse-Z-Transform}
    1.43 +\author{By jan}
    1.44 +\maketitle
    1.45 +
    1.46 +\tableofcontents
    1.47 +
    1.48 +% sane default for proof documents
    1.49 +\parindent 0pt\parskip 0.5ex
    1.50 +
    1.51 +% generated text of all theories
    1.52 +\input{session}
    1.53 +
    1.54 +% optional bibliography
    1.55 +%\bibliographystyle{abbrv}
    1.56 +%\bibliography{root}
    1.57 +
    1.58 +\end{document}
    1.59 +
    1.60 +%%% Local Variables:
    1.61 +%%% mode: latex
    1.62 +%%% TeX-master: t
    1.63 +%%% End: