| 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 |
| Thu, 06 May 2010 14:09:21 +0200 | Cezary Kaliszyk | Fixes for new isabelle | file | diff | annotate |
| Wed, 05 May 2010 10:24:54 +0100 | Christian Urban | solved the problem with equivariance by first eta-normalising the goal | file | diff | annotate |
| Sun, 25 Apr 2010 09:26:36 +0200 | Christian Urban | tuned | file | diff | annotate |