2 \usepackage{isabelle,isabellesym}
4 \usepackage{paralist} % compactitem
5 % this should be the last package used
8 % urls in roman style, theory text in math-similar italics
10 \isabellestyle{tt} %better readable than {it}
12 % for uniform font size
13 %\renewcommand{\isastyle}{\isastyleminor}
15 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
16 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
17 \def\see{$\rightarrow$}
18 \newtheorem{UR}{UR}[section]
19 \newtheorem{Expl}{Expl}[section]
23 \title{The Specify Phase in \isac's Calculations}
24 \author{Walther Neuper}
25 %\institute{Johannes Kepler University, Linz, Austria}
30 % sane default for proof documents
31 \parindent 0pt\parskip 0.5ex
33 \nocite{*} %FIXME satisfy bibtex without actual text + citations
34 \input{user-requirements.tex}
36 % generated text of all theories
37 \input{Specify_Phase.tex} %*.tex created by isabelle build
39 % optional bibliography
40 \bibliographystyle{plain}
41 % \bibliographystyle{splncs04}
42 % splncs04 CAUSES ERROR
43 % SEE ~/material/templates/llncs/README