equal
deleted
inserted
replaced
57 |
57 |
58 \begin{document} |
58 \begin{document} |
59 |
59 |
60 \title{\LARGE\bf General Bindings in Nominal Isabelle,\\ or How to |
60 \title{\LARGE\bf General Bindings in Nominal Isabelle,\\ or How to |
61 Formalise Core-Haskell} |
61 Formalise Core-Haskell} |
|
62 \author{Christian Urban, Cezary Kaliszyk} |
|
63 \affiliation{TU Munich, Germany} |
62 \maketitle |
64 \maketitle |
63 |
65 |
64 \maketitle |
66 \maketitle |
65 \begin{abstract} |
67 \begin{abstract} |
66 Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem |
68 Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem |