This repository contain a new implementation of+ −
Nominal Isabelle.+ −
+ −
Subdirectories:+ −
+ −
Attic ... old version of the quotient package (is now + −
part of the Isabelle distribution)+ −
+ −
Literature ... some relevant papers about binders and+ −
Core-Haskell+ −
+ −
Nominal-General . implementation of the abstract nominal theory+ −
+ −
Nominal ... main files for new Nominal Isabelle+ −
+ −
Nominal/Ex ... examples for new implementation+ −
+ −
Paper ... submitted to ICFP+ −
+ −
Pearl ... paper accepted at ITP + −