moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms
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