| Mon, 07 Jun 2010 11:43:01 +0200 | Christian Urban | work on transitivity proof | file | diff | annotate |
| Tue, 01 Jun 2010 15:21:01 +0200 | Christian Urban | equivariance done | file | diff | annotate |
| Fri, 21 May 2010 10:42:53 +0200 | Cezary Kaliszyk | Renamings | file | diff | annotate |
| Wed, 12 May 2010 16:26:06 +0100 | Christian Urban | added a test whether some of the constants already equivariant (then the procedure has to fail). | file | diff | annotate |