nominal2: README@41e205fcb21e (annotated)

1773 c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	This repository contain a new implementation of
c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	Nominal Isabelle.
c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	3
3204 b69c8660de14 fixed problem with not fresh enough permutation name in nominal_primrec Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2568 diff changeset	4	Compilation of Tests
b69c8660de14 fixed problem with not fresh enough permutation name in nominal_primrec Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2568 diff changeset	5	====================
b69c8660de14 fixed problem with not fresh enough permutation name in nominal_primrec Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2568 diff changeset	6
b69c8660de14 fixed problem with not fresh enough permutation name in nominal_primrec Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2568 diff changeset	7	isabelle build -d . -g Tests
b69c8660de14 fixed problem with not fresh enough permutation name in nominal_primrec Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 2568 diff changeset	8
2452 39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	9
1773 c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	Subdirectories:
2452 39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	11	===============
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	12
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	13	Nominal ... main files for new Nominal Isabelle
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	14
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	15	Nominal/Ex ... examples for new implementation
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	16
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	17

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Mon, 11 Mar 2013 16:33:52 +0000
branch	Nominal2-Isabelle2013
changeset 3211	41e205fcb21e
parent 3208	da575186d492
permissions	-rw-r--r--