| 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 |
| Wed, 17 Feb 2010 16:22:16 +0100 | Cezary Kaliszyk | Testing Fv | file | diff | annotate |
| Wed, 17 Feb 2010 15:45:03 +0100 | Cezary Kaliszyk | Reorder | file | diff | annotate |
| Wed, 17 Feb 2010 15:28:50 +0100 | Cezary Kaliszyk | Add bindings of recursive types by free_variables. | file | diff | annotate |
| Wed, 17 Feb 2010 15:20:22 +0100 | Cezary Kaliszyk | Bindings adapted to multiple defined datatypes. | file | diff | annotate |