61   Formalise Core-Haskell}

    61   Formalise Core-Haskell}

    62 \author{Christian Urban, Cezary Kaliszyk}

    62 \author{Christian Urban, Cezary Kaliszyk}

    63 \affiliation{TU Munich, Germany}

    63 \affiliation{TU Munich, Germany}

    64 \maketitle

    64 \maketitle

    65 

    65 

    67 \begin{abstract} 

    66 \begin{abstract} 

    68 Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem

    67 Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem

    69 prover. It provides a proving infrastructure for convenient reasoning about

    68 prover. It provides a proving infrastructure for convenient reasoning about

    70 programming language calculi involving named bound variables (as

    69 programming language calculi involving named bound variables (as

    71 opposed to de-Bruijn indices). In this paper we present an extension of

    70 opposed to de-Bruijn indices). In this paper we present an extension of