equal
deleted
inserted
replaced
|
1 \documentclass{article} |
|
2 \usepackage{isabelle,isabellesym} |
|
3 \usepackage{graphicx} |
|
4 % this should be the last package used |
|
5 \usepackage{pdfsetup} |
|
6 |
|
7 % urls in roman style, theory text in math-similar italics |
|
8 \urlstyle{rm} |
|
9 \isabellestyle{tt} %better readable than {it} |
|
10 |
|
11 % for uniform font size |
|
12 %\renewcommand{\isastyle}{\isastyleminor} |
|
13 |
|
14 \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 |
|
17 \begin{document} |
|
18 |
|
19 \title{The Specify Phase in \isac's Calculations} |
|
20 \author{Walther Neuper} |
|
21 %\institute{Johannes Kepler University, Linz, Austria} |
|
22 \maketitle |
|
23 \vspace{2cm} |
|
24 \tableofcontents |
|
25 \newpage |
|
26 |
|
27 % sane default for proof documents |
|
28 \parindent 0pt\parskip 0.5ex |
|
29 |
|
30 % generated text of all theories |
|
31 \input{Specify_Phase.tex} %*.tex created by isabelle build |
|
32 |
|
33 % optional bibliography |
|
34 \bibliographystyle{plain} |
|
35 % \bibliographystyle{splncs04} |
|
36 % splncs04 CAUSES ERROR |
|
37 % SEE ~/material/templates/llncs/README |
|
38 \bibliography{root} |
|
39 |
|
40 \end{document} |
|
41 |
|
42 %%% Local Variables: |
|
43 %%% mode: latex |
|
44 %%% TeX-master: t |
|
45 %%% End: |