| Wed, 24 Feb 2010 18:38:49 +0100 | Cezary Kaliszyk | Simplified and finised eqvt proofs for t1 and t5 | file | diff | annotate |
| Mon, 22 Feb 2010 15:03:48 +0100 | Cezary Kaliszyk | Generalize atom_trans and atom_sym. | file | diff | annotate |
| Thu, 18 Feb 2010 23:07:28 +0100 | Christian Urban | start work with the parser | file | diff | annotate |
| Fri, 12 Feb 2010 16:04:10 +0100 | Cezary Kaliszyk | renamed 'as' to 'is' everywhere. | file | diff | annotate |