70 \address{Technical University of Munich, Germany}	

    70 \address{Technical University of Munich, Germany}	

    71 \email{urbanc@in.tum.de}

    71 \email{urbanc@in.tum.de}

    72 

    72 

    73 \author{Cezary Kaliszyk}

    73 \author{Cezary Kaliszyk}

    74 \address{University of Tsukuba, Japan}

    74 \address{University of Tsukuba, Japan}

    76 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}

    76 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}

    77 

    77 

    78 \keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning,lambda-calculus}

    78 \keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning,lambda-calculus}

    79 \subjclass{F.3.1}

    79 \subjclass{F.3.1}

    80 

    80