This repository contain a new implementation of
Nominal Isabelle.

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

isabelle build -d . -g Tests


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

Nominal       ... main files for Nominal 2

Nominal/Ex    ... some examples 

