nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 22 Jun 2011 17:57:15 +0900] rev 2884

constants with the same names

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 22 Jun 2011 04:49:56 +0900] rev 2883

Quotients/TODO addtion

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 21 Jun 2011 23:59:36 +0900] rev 2882

Minor

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 21 Jun 2011 10:39:25 +0900] rev 2881

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 21 Jun 2011 10:37:43 +0900] rev 2880

spelling

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 20 Jun 2011 20:09:51 +0900] rev 2879

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 20 Jun 2011 20:08:16 +0900] rev 2878

Abs_set_fcb

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 20 Jun 2011 20:09:30 +0900] rev 2877

function for let-rec

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 20 Jun 2011 10:16:12 +0900] rev 2876

TODO/minor

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 20 Jun 2011 09:59:18 +0900] rev 2875

Move lst_fcb to Nominal2_Abs

nominal2