README
author Christian Urban <urbanc@in.tum.de>
Sun, 29 Aug 2010 01:45:07 +0800
changeset 2451 d2e929f51fa9
parent 2382 e8b9c0ebf5dd
child 2452 39f8d405d7a2
permissions -rw-r--r--
added fs-instance proofs

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