equal
deleted
inserted
replaced
57 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
57 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
58 |
58 |
59 |
59 |
60 \begin{document} |
60 \begin{document} |
61 |
61 |
62 \title{\LARGE\bf General Bindings in Nominal Isabelle,\\ or How to |
62 \title{\LARGE\bf General Bindings and Alpha-Equivalence in Nominal Isabelle} |
63 Formalise Core-Haskell} |
|
64 \author{Christian Urban, Cezary Kaliszyk} |
63 \author{Christian Urban, Cezary Kaliszyk} |
65 \affiliation{TU Munich, Germany} |
64 \affiliation{TU Munich, Germany} |
66 \maketitle |
65 \maketitle |
67 |
66 |
68 \begin{abstract} |
67 \begin{abstract} |