2010-04-16 | Christian Urban | automatic proofs for equivariance of alphas | file | diff | annotate |
2010-04-08 | Christian Urban | properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper) | file | diff | annotate |