equal
deleted
inserted
replaced
70 \author{Christian Urban} |
70 \author{Christian Urban} |
71 \address{King's College London, United Kingdom} |
71 \address{King's College London, United Kingdom} |
72 \email{christian.urban@kcl.ac.uk} |
72 \email{christian.urban@kcl.ac.uk} |
73 |
73 |
74 \author{Cezary Kaliszyk} |
74 \author{Cezary Kaliszyk} |
75 \address{University of Tsukuba, Japan} |
75 \address{University of Innsbruck, Austria} |
76 \email{kaliszyk@cs.tsukuba.ac.jp} |
76 \email{cezary.kaliszyk@uibk.ac.at} |
77 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}} |
77 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}} |
78 |
78 |
79 \keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning, lambda-calculus} |
79 \keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning, lambda-calculus} |
80 \subjclass{F.3.1} |
80 \subjclass{F.3.1} |
81 |
81 |