README
author Christian Urban <urbanc@in.tum.de>
Sat, 12 May 2012 22:24:04 +0100
branchNominal2-Isabelle2012
changeset 3171 f5057aabf5c0
parent 3169 b6873d123f9b
permissions -rw-r--r--
further cleaning

This repository contain a new implementation of
Nominal Isabelle.


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

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