equal
deleted
inserted
replaced
22 |
22 |
23 \title{The Specify Phase in \isac's Calculations} |
23 \title{The Specify Phase in \isac's Calculations} |
24 \author{Walther Neuper} |
24 \author{Walther Neuper} |
25 %\institute{Johannes Kepler University, Linz, Austria} |
25 %\institute{Johannes Kepler University, Linz, Austria} |
26 \maketitle |
26 \maketitle |
27 \vspace{2cm} |
|
28 \tableofcontents |
27 \tableofcontents |
29 \newpage |
28 \newpage |
30 |
29 |
31 % sane default for proof documents |
30 % sane default for proof documents |
32 \parindent 0pt\parskip 0.5ex |
31 \parindent 0pt\parskip 0.5ex |
33 |
32 |
|
33 \nocite{*} %FIXME satisfy bibtex without actual text + citations |
|
34 \input{user-requirements.tex} |
|
35 |
34 % generated text of all theories |
36 % generated text of all theories |
35 \input{user-requirements.tex} |
|
36 \input{Specify_Phase.tex} %*.tex created by isabelle build |
37 \input{Specify_Phase.tex} %*.tex created by isabelle build |
37 |
38 |
38 % optional bibliography |
39 % optional bibliography |
39 \bibliographystyle{plain} |
40 \bibliographystyle{plain} |
40 % \bibliographystyle{splncs04} |
41 % \bibliographystyle{splncs04} |