nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 02 Sep 2010 01:16:26 +0800] rev 2460

added eqvt-attribute for permute_abs lemmas

Christian Urban <urbanc@in.tum.de> [Tue, 31 Aug 2010 21:03:08 +0800] rev 2459

slides of my talk

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 30 Aug 2010 15:59:50 +0900] rev 2458

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 30 Aug 2010 15:59:16 +0900] rev 2457

update qpaper to new isabelle

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 30 Aug 2010 15:55:08 +0900] rev 2456

No need to unfold mem_def with rsp/prs (requires new isabelle).

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 30 Aug 2010 11:02:13 +0900] rev 2455

Anonymize, change Quotient to Quot and fix indentation

Christian Urban <urbanc@in.tum.de> [Sun, 29 Aug 2010 13:36:03 +0800] rev 2454

renamed NewParser to Nominal2

Christian Urban <urbanc@in.tum.de> [Sun, 29 Aug 2010 12:17:25 +0800] rev 2453

tuned

Christian Urban <urbanc@in.tum.de> [Sun, 29 Aug 2010 12:14:40 +0800] rev 2452

updated todos

Christian Urban <urbanc@in.tum.de> [Sun, 29 Aug 2010 01:45:07 +0800] rev 2451

added fs-instance proofs

nominal2