nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Feb 2010 20:02:44 +0100] rev 1018

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Feb 2010 16:05:59 +0100] rev 1017

All should be ok now.

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 18:57:39 +0100] rev 1016

repaired according to changes in Abs.thy

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 18:57:20 +0100] rev 1015

added a single-binder alpha equivalence; showed one half of the equivalence proof between general and single binder case

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 16:46:07 +0100] rev 1014

cleaned

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 16:23:47 +0100] rev 1013

updated from huffman

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 16:13:24 +0100] rev 1012

updated from nominal-huffman

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Feb 2010 15:57:37 +0100] rev 1011

Fixed wrong rename.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Feb 2010 15:46:25 +0100] rev 1010

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Feb 2010 15:45:40 +0100] rev 1009

Lambda based on alpha_gen, under construction.

nominal2