This repository contain a new implementation of
Nominal Isabelle.

Subdirectories:

Attic       ... old version of the quotient package (is now 
                part of the Isabelle distribution)

Literature  ... some relevant papers bout binders and
                Core-Haskell

Nominal     ... main files for Nominal Isabelle

Nominal/Ex  ... examples for new implementation

Paper       ... submitted

Pearl       ... paper accepted at ITP