changed parser so that the binding mode is indicated as "bind (list)", "bind (set)" or "bind (res)"; if only "bind" is given, then bind (list) is assumed as default
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