| Thu, 11 Mar 2010 15:10:07 +0100 | Christian Urban | finally the proof that new and old alpha agree | file | diff | annotate |
| Wed, 03 Mar 2010 14:22:58 +0100 | Cezary Kaliszyk | Fix eqvt for multiple quantifiers. | file | diff | annotate |
| Wed, 03 Mar 2010 11:42:15 +0100 | Cezary Kaliszyk | weird eqvt | file | diff | annotate |