nominal2: Changelog

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.

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 15:32:20 +0100] rev 1008

updated from huffman - repo

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

renamed Abst/abst to Abs/abs

Christian Urban <urbanc@in.tum.de> [Mon, 01 Feb 2010 12:48:18 +0100] rev 1006

got rid of RAbst type - is now just pairs

nominal2