Mon, 22 Feb 2010 13:41:13 +0100 alpha-symmetric addons.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 13:41:13 +0100] rev 1208
alpha-symmetric addons.
Mon, 22 Feb 2010 12:12:32 +0100 alpha reflexivity
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 12:12:32 +0100] rev 1207
alpha reflexivity
Mon, 22 Feb 2010 10:57:39 +0100 Renaming.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:57:39 +0100] rev 1206
Renaming.
Mon, 22 Feb 2010 10:39:05 +0100 Added missing description.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:39:05 +0100] rev 1205
Added missing description.
Mon, 22 Feb 2010 10:16:13 +0100 Added Brian's suggestion.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:16:13 +0100] rev 1204
Added Brian's suggestion.
Mon, 22 Feb 2010 09:55:43 +0100 Update TODO
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 09:55:43 +0100] rev 1203
Update TODO
Sun, 21 Feb 2010 22:39:11 +0100 Removed bindings 'in itself' where possible.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 21 Feb 2010 22:39:11 +0100] rev 1202
Removed bindings 'in itself' where possible.
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip