1 \documentclass{report}
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 %WN231231 where did these 3 come from ?
18 %\def\see{$\rightarrow$}
19 %\newtheorem{UR}{UR}[section]
20 %\newtheorem{Expl}{Expl}[section]
25 \title{The Specify Phase in \isac's Calculations}
26 \author{Walther Neuper}
27 %\institute{Johannes Kepler University, Linz, Austria}
33 % sane default for proof documents
34 \parindent 0pt\parskip 0.5ex
36 \nocite{*} %FIXME satisfy bibtex without actual text + citations
38 % generated text of all theories
39 \input{Specify_Phase.tex} %*.tex created by isabelle build
41 % optional bibliography
42 \bibliographystyle{plain}
43 % \bibliographystyle{splncs04}
44 % .. causes ERROR, SEE isabisac/src/Doc/Demo_EPTCS