This repository contain a new implementation ofNominal Isabelle.Subdirectories:===============Nominal ... main files for new Nominal IsabelleNominal/Ex ... examples for new implementationOuther Subdirectories:======================Attic ... old version of the quotient package (is now part of the Isabelle distribution)Literature ... some relevant papers about binders and Core-HaskellPaper ... submitted to ESOPPearl ... accepted at ITP Pearl-jv ... journal versionQuotient-Paper .. accepted to SACSlides ... various talks Christian gave recently