equal
deleted
inserted
replaced
25 \newpage |
25 \newpage |
26 |
26 |
27 % sane default for proof documents |
27 % sane default for proof documents |
28 \parindent 0pt\parskip 0.5ex |
28 \parindent 0pt\parskip 0.5ex |
29 |
29 |
|
30 \nocite{*} %FIXME satisfy bibtex without actual text + citations |
|
31 %\input{user-requirements.tex} %FIXME does not quite work yet |
|
32 |
30 % generated text of all theories |
33 % generated text of all theories |
31 \input{Specify_Phase.tex} %*.tex created by isabelle build |
34 \input{Specify_Phase.tex} %*.tex created by isabelle build |
32 |
35 |
33 % optional bibliography |
36 % optional bibliography |
34 \bibliographystyle{plain} |
37 \bibliographystyle{plain} |