equal
deleted
inserted
replaced
1 \documentclass{report} |
1 \documentclass{report} |
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle,isabellesym} |
3 \usepackage{graphicx} |
3 \usepackage{graphicx} |
4 \usepackage{paralist} % compactitem |
4 \usepackage{paralist} % compactitem |
5 % this should be the last package used |
5 % this should be the last package used |
6 \usepackage{pdfsetup} |
6 \usepackage{pdfsetup} |
29 |
29 |
30 % sane default for proof documents |
30 % sane default for proof documents |
31 \parindent 0pt\parskip 0.5ex |
31 \parindent 0pt\parskip 0.5ex |
32 |
32 |
33 \nocite{*} %FIXME satisfy bibtex without actual text + citations |
33 \nocite{*} %FIXME satisfy bibtex without actual text + citations |
34 \input{user-requirements.tex} |
|
35 |
34 |
36 % generated text of all theories |
35 % generated text of all theories |
37 \input{Specify_Phase.tex} %*.tex created by isabelle build |
36 \input{Specify_Phase.tex} %*.tex created by isabelle build |
38 |
37 |
39 % optional bibliography |
38 % optional bibliography |