walther@60189: \documentclass{report}
walther@60183: \usepackage{isabelle,isabellesym}
walther@60183: \usepackage{graphicx}
walther@60189: \usepackage{paralist}  % compactitem
walther@60183: % this should be the last package used
walther@60183: \usepackage{pdfsetup}
walther@60183: 
walther@60183: % urls in roman style, theory text in math-similar italics
walther@60183: \urlstyle{rm}
walther@60183: \isabellestyle{tt}  %better readable than {it}
walther@60183: 
walther@60183: % for uniform font size
walther@60183: %\renewcommand{\isastyle}{\isastyleminor}
walther@60183: 
walther@60183: \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
walther@60183: \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
walther@60189: \def\see{$\rightarrow$}
walther@60189: \newtheorem{UR}{UR}[section]
walther@60189: \newtheorem{Expl}{Expl}[section]
walther@60183: 
walther@60183: \begin{document}
walther@60183: 
walther@60183: \title{The Specify Phase in \isac's Calculations}
walther@60183: \author{Walther Neuper}
walther@60183: %\institute{Johannes Kepler University, Linz, Austria}
walther@60183: \maketitle
walther@60183: \vspace{2cm}
walther@60183: \tableofcontents
walther@60183: \newpage
walther@60183: 
walther@60183: % sane default for proof documents
walther@60183: \parindent 0pt\parskip 0.5ex
walther@60183: 
walther@60183: % generated text of all theories
walther@60189: \input{user-requirements.tex}
walther@60183: \input{Specify_Phase.tex}  %*.tex created by isabelle build
walther@60183: 
walther@60183: % optional bibliography
walther@60183: \bibliographystyle{plain}
walther@60183: % \bibliographystyle{splncs04}
walther@60183: % splncs04 CAUSES ERROR
walther@60183: % SEE ~/material/templates/llncs/README
walther@60183: \bibliography{root}
walther@60183: 
walther@60183: \end{document}
walther@60183: 
walther@60183: %%% Local Variables:
walther@60183: %%% mode: latex
walther@60183: %%% TeX-master: t
walther@60183: %%% End: