2010-04-16 | Christian Urban | automatic proofs for equivariance of alphas | file | diff | annotate |
2010-04-16 | Christian Urban | some tuning of eqvt-infrastructure | file | diff | annotate |
2010-04-14 | Christian Urban | tuned and removed dead code | file | diff | annotate |
2010-04-14 | Christian Urban | added a library for basic nominal functions; separated nominal_eqvt file | file | diff | annotate |