equal
deleted
inserted
replaced
58 %%\spnewtheorem{exmple}[theorem]{Example} |
58 %%\spnewtheorem{exmple}[theorem]{Example} |
59 \spnewtheorem{myproperty}{Property}{\bfseries}{\rmfamily} |
59 \spnewtheorem{myproperty}{Property}{\bfseries}{\rmfamily} |
60 %-------------------- environment definitions ----------------- |
60 %-------------------- environment definitions ----------------- |
61 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
61 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
62 |
62 |
63 \addtolength{\textwidth}{2mm} |
63 %\addtolength{\textwidth}{2mm} |
64 \addtolength{\parskip}{-0.33mm} |
64 \addtolength{\parskip}{-0.33mm} |
65 \begin{document} |
65 \begin{document} |
66 |
66 |
67 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle} |
67 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle} |
68 \author{Christian Urban and Cezary Kaliszyk} |
68 \author{Christian Urban and Cezary Kaliszyk} |