This repository contain a new implementation ofNominal Isabelle.Subdirectories:Attic ... old version of the quotient package (is now part of the Isabelle distribution)Literature ... some relevant papers about binders and Core-HaskellNominal-General . implementation of the abstract nominal theoryNominal ... main files for new Nominal IsabelleNominal/Ex ... examples for new implementationPaper ... submitted to ICFPPearl ... paper accepted at ITP