| 2010-05-05 | Christian Urban | solved the problem with equivariance by first eta-normalising the goal | file | diff | annotate |
| 2010-04-25 | Christian Urban | tuned | file | diff | annotate |
| 2010-04-16 | Christian Urban | automatic proofs for equivariance of alphas | file | diff | annotate |