| Thu, 18 Feb 2010 18:33:53 +0100 | Cezary Kaliszyk | Full alpha equivalence + testing in terms. Some differ but it seems the generated version is more correct. | file | diff | annotate |
| Thu, 18 Feb 2010 15:03:09 +0100 | Cezary Kaliszyk | First (non-working) version of alpha-equivalence | file | diff | annotate |
| Thu, 18 Feb 2010 13:36:38 +0100 | Cezary Kaliszyk | Description of the fv procedure. | file | diff | annotate |
| Thu, 18 Feb 2010 09:46:38 +0100 | Cezary Kaliszyk | Code for handling atom sets. | file | diff | annotate |