equal
deleted
inserted
replaced
10 \usepackage{pdfsetup} |
10 \usepackage{pdfsetup} |
11 \usepackage{ot1patch} |
11 \usepackage{ot1patch} |
12 \usepackage{times} |
12 \usepackage{times} |
13 \usepackage{boxedminipage} |
13 \usepackage{boxedminipage} |
14 \usepackage{proof} |
14 \usepackage{proof} |
|
15 \usepackage{setspace} |
15 |
16 |
16 \allowdisplaybreaks |
17 \allowdisplaybreaks |
17 \urlstyle{rm} |
18 \urlstyle{rm} |
18 \isabellestyle{it} |
19 \isabellestyle{it} |
19 \renewcommand{\isastyleminor}{\it}% |
20 \renewcommand{\isastyleminor}{\it}% |
56 %%\spnewtheorem{exmple}[theorem]{Example} |
57 %%\spnewtheorem{exmple}[theorem]{Example} |
57 |
58 |
58 %-------------------- environment definitions ----------------- |
59 %-------------------- environment definitions ----------------- |
59 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
60 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
60 |
61 |
61 |
62 \addtolength{\textwidth}{2mm} |
|
63 \addtolength{\parskip}{-0.3mm} |
62 \begin{document} |
64 \begin{document} |
63 |
65 |
64 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle} |
66 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle} |
65 \author{Christian Urban and Cezary Kaliszyk} |
67 \author{Christian Urban and Cezary Kaliszyk} |
66 \institute{TU Munich, Germany} |
68 \institute{TU Munich, Germany} |
91 %nominal logic work, variable convention |
93 %nominal logic work, variable convention |
92 |
94 |
93 |
95 |
94 \input{session} |
96 \input{session} |
95 |
97 |
|
98 \begin{spacing}{0.9} |
96 \bibliographystyle{plain} |
99 \bibliographystyle{plain} |
97 \bibliography{root} |
100 \bibliography{root} |
|
101 \end{spacing} |
98 |
102 |
99 \end{document} |
103 \end{document} |
100 |
104 |
101 %%% Local Variables: |
105 %%% Local Variables: |
102 %%% mode: latex |
106 %%% mode: latex |