| Wed, 28 Oct 2009 19:36:52 +0100 | Christian Urban | fixed the definition of alpha; this *breaks* some of the experiments | file | diff | annotate |
| Wed, 28 Oct 2009 18:08:38 +0100 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| Wed, 28 Oct 2009 17:38:37 +0100 | Cezary Kaliszyk | More cleaning in Lam code | file | diff | annotate |