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 POPL+ −
+ −
Pearl ... accepted at ITP + −
Pearl-jv ... journal version+ −
+ −
Quotient-Paper .. submitted to APLAS+ −