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 bout binders and+ −
Core-Haskell+ −
+ − Nominal ... main files for Nominal Isabelle+ −
+ − Nominal/Ex ... examples for new implementation+ −
+ − Paper ... submitted+ −
+ − Pearl ... paper accepted at ITP + −