| Tue, 09 Feb 2010 15:20:40 +0100 | Christian Urban | a few more attempts to show the equivalence between old and new way of defining alpha-equivalence | file | diff | annotate |
| Tue, 09 Feb 2010 10:48:42 +0100 | Cezary Kaliszyk | Fixed pattern matching, now the test in Abs works correctly. | file | diff | annotate |