This repository contain a new implementation of
Nominal Isabelle.

Compilation of Tests
====================

isabelle build -d . -g Tests


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

Nominal       ... main files for new Nominal Isabelle

Nominal/Ex    ... examples for new implementation