nominal2: README@39f8d405d7a2 (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
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	8	Nominal ... main files for new Nominal Isabelle
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	9
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	10	Nominal/Ex ... examples for new implementation
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	Nominal-General . implementation of the abstract nominal theory
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	13
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
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	Outher Subdirectories:
39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	18	======================
1773 c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	19
1774 c34347ec7ab3 separated general nominal theory into separate folder Christian Urban <urbanc@in.tum.de> parents: 1773 diff changeset	20	Attic ... old version of the quotient package (is now
c34347ec7ab3 separated general nominal theory into separate folder Christian Urban <urbanc@in.tum.de> parents: 1773 diff changeset	21	part of the Isabelle distribution)
1773 c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	22
1774 c34347ec7ab3 separated general nominal theory into separate folder Christian Urban <urbanc@in.tum.de> parents: 1773 diff changeset	23	Literature ... some relevant papers about binders and
c34347ec7ab3 separated general nominal theory into separate folder Christian Urban <urbanc@in.tum.de> parents: 1773 diff changeset	24	Core-Haskell
c34347ec7ab3 separated general nominal theory into separate folder Christian Urban <urbanc@in.tum.de> parents: 1773 diff changeset	25
2382 e8b9c0ebf5dd added paper by james; some minor cleaning Christian Urban <urbanc@in.tum.de> parents: 1774 diff changeset	26	Paper ... submitted to POPL
1773 c0eac04ae3b4 added README and moved examples into separate directory Christian Urban <urbanc@in.tum.de> parents: diff changeset	27
2382 e8b9c0ebf5dd added paper by james; some minor cleaning Christian Urban <urbanc@in.tum.de> parents: 1774 diff changeset	28	Pearl ... accepted at ITP
e8b9c0ebf5dd added paper by james; some minor cleaning Christian Urban <urbanc@in.tum.de> parents: 1774 diff changeset	29	Pearl-jv ... journal version
e8b9c0ebf5dd added paper by james; some minor cleaning Christian Urban <urbanc@in.tum.de> parents: 1774 diff changeset	30
2452 39f8d405d7a2 updated todos Christian Urban <urbanc@in.tum.de> parents: 2382 diff changeset	31	Quotient-Paper .. submitted to SAC

author	Christian Urban <urbanc@in.tum.de>
	Sun, 29 Aug 2010 12:14:40 +0800
changeset 2452	39f8d405d7a2
parent 2382	e8b9c0ebf5dd
child 2453	2f47291b6ff9
permissions	-rw-r--r--