equal
deleted
inserted
replaced
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[Genral Bindings]{General Bindings and Alpha-Equivalence in Nominal Isabelle} |
67 \title[Genral Bindings]{General Bindings and Alpha-Equivalence in Nominal |
|
68 Isabelle$^\star$} |
68 \author{Christian Urban} |
69 \author{Christian Urban} |
69 \address{Technical University of Munich, Germany} |
70 \address{Technical University of Munich, Germany} |
70 \email{urbanc@in.tum.de} |
71 \email{urbanc@in.tum.de} |
71 |
72 |
72 \author{Cezary Kaliszyk} |
73 \author{Cezary Kaliszyk} |
73 \address{University of Tsukuba, Japan} |
74 \address{University of Tsukuba, Japan} |
74 \email{kaliszyk@score.cs.tsukuba.ac.jp} |
75 \email{kaliszyk@score.cs.tsukuba.ac.jp} |
|
76 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}} |
75 |
77 |
76 \keywords{Nominal Isabelle, variable convention, formal reasoning} |
78 \keywords{Nominal Isabelle, variable convention, formal reasoning} |
77 \subjclass{F.3.1} |
79 \subjclass{F.3.1} |
78 |
80 |
79 \begin{abstract} |
81 \begin{abstract} |