This repository contain a new implementation of
Nominal Isabelle.


Subdirectories:
===============

Nominal       ... main files
Nominal/Ex    ... examples
