| Fri, 04 Dec 2009 08:18:38 +0100 | Cezary Kaliszyk | Made your version work again with LIST_REL_EQ. | file | diff | annotate |
| Thu, 03 Dec 2009 13:56:59 +0100 | Cezary Kaliszyk | Reintroduced varifyT; we still need it for permutation definition. | file | diff | annotate |
| Thu, 03 Dec 2009 13:45:52 +0100 | Cezary Kaliszyk | Updated the examples | file | diff | annotate |
| Wed, 02 Dec 2009 20:54:59 +0100 | Cezary Kaliszyk | Experiments with OPTION_map | file | diff | annotate |