equal
deleted
inserted
replaced
1 \documentclass{article} |
1 \documentclass{report} |
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle,isabellesym} |
3 \usepackage{graphicx} |
3 \usepackage{graphicx} |
|
4 \usepackage{paralist} % compactitem |
4 % this should be the last package used |
5 % this should be the last package used |
5 \usepackage{pdfsetup} |
6 \usepackage{pdfsetup} |
6 |
7 |
7 % urls in roman style, theory text in math-similar italics |
8 % urls in roman style, theory text in math-similar italics |
8 \urlstyle{rm} |
9 \urlstyle{rm} |
11 % for uniform font size |
12 % for uniform font size |
12 %\renewcommand{\isastyle}{\isastyleminor} |
13 %\renewcommand{\isastyle}{\isastyleminor} |
13 |
14 |
14 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
15 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
15 \def\sisac{{\footnotesize${\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] |
16 |
20 |
17 \begin{document} |
21 \begin{document} |
18 |
22 |
19 \title{The Specify Phase in \isac's Calculations} |
23 \title{The Specify Phase in \isac's Calculations} |
20 \author{Walther Neuper} |
24 \author{Walther Neuper} |
25 \newpage |
29 \newpage |
26 |
30 |
27 % sane default for proof documents |
31 % sane default for proof documents |
28 \parindent 0pt\parskip 0.5ex |
32 \parindent 0pt\parskip 0.5ex |
29 |
33 |
30 \nocite{*} %FIXME satisfy bibtex without actual text + citations |
|
31 %\input{user-requirements.tex} %FIXME does not quite work yet |
|
32 |
|
33 % generated text of all theories |
34 % generated text of all theories |
|
35 \input{user-requirements.tex} |
34 \input{Specify_Phase.tex} %*.tex created by isabelle build |
36 \input{Specify_Phase.tex} %*.tex created by isabelle build |
35 |
37 |
36 % optional bibliography |
38 % optional bibliography |
37 \bibliographystyle{plain} |
39 \bibliographystyle{plain} |
38 % \bibliographystyle{splncs04} |
40 % \bibliographystyle{splncs04} |