| 2010-04-26 | Christian Urban | some changes to the paper | file | diff | annotate |
| 2010-04-26 | Christian Urban | eliminated command so that all compiles | file | diff | annotate |
| 2010-04-26 | Christian Urban | changed theorem_i to theorem....requires new Isabelle | file | diff | annotate |
| 2010-04-25 | Christian Urban | tuned and cleaned | file | diff | annotate |
| 2010-04-16 | Christian Urban | automatic proofs for equivariance of alphas | file | diff | annotate |
| 2010-04-16 | Cezary Kaliszyk | Finished proof in Lambda.thy | file | diff | annotate |
| 2010-04-16 | Christian Urban | attempt to manual prove eqvt for alpha | file | diff | annotate |