| Mon, 01 Feb 2010 18:57:20 +0100 | Christian Urban | added a single-binder alpha equivalence; showed one half of the equivalence proof between general and single binder case | file | diff | annotate |
| Mon, 01 Feb 2010 16:46:07 +0100 | Christian Urban | cleaned | file | diff | annotate |