1 This repository contain a new implementation of

     2 Nominal Isabelle.

     3 

     4 Subdirectories:

     5 

     6 Attic       ... old version of the quotient package (is now 

     7                 part of the Isabelle distribution)

     8 

     9 Literature  ... some relevant papers bout binders and

    10                 Core-Haskell

    11 

    12 Nominal     ... main files for Nominal Isabelle

    13 

    14 Nominal/Ex  ... examples for new implementation

    15 

    16 Paper       ... submitted

    17 

    18 Pearl       ... paper accepted at ITP