added README and moved examples into separate directory
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 bout binders and Core-HaskellNominal ... main files for Nominal IsabelleNominal/Ex ... examples for new implementationPaper ... submittedPearl ... paper accepted at ITP