can now deal with type variables in nominal datatype definitions
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 POPLPearl ... accepted at ITP Pearl-jv ... journal versionQuotient-Paper .. submitted to APLAS