| 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 |