| 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 |
| Wed, 12 May 2010 15:17:35 +0100 | Christian Urban | better ML-interface (returning only a list of theorems and a context) | file | diff | annotate |
| Wed, 12 May 2010 14:47:52 +0100 | Christian Urban | ingnored parameters in equivariance; added a proper interface to be called from ML | file | diff | annotate |
| Sun, 09 May 2010 11:43:24 +0100 | Christian Urban | fixed the problem with alpha containing splits | file | diff | annotate |