nominal2: README@b6873d123f9b (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
2452 39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	4
1773 c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	Subdirectories:
2452 39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	6	===============
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	7
3169 b6873d123f9b cleaned the repository for Nominal2-Isabelle2012 Christian Urban <urbanc@in.tum.de> parents: 2568 diff changeset	8	Nominal ... main files
b6873d123f9b cleaned the repository for Nominal2-Isabelle2012 Christian Urban <urbanc@in.tum.de> parents: 2568 diff changeset	9	Nominal/Ex ... examples

author	Christian Urban <urbanc@in.tum.de>
	Sat, 12 May 2012 21:39:09 +0100
branch	Nominal2-Isabelle2012
changeset 3169	b6873d123f9b
parent 2568	8193bbaa07fe
permissions	-rw-r--r--