| Tue, 23 Mar 2010 08:46:44 +0100 | Cezary Kaliszyk | Term1 is identical to Example 3 | file | diff | annotate |
| Tue, 23 Mar 2010 08:45:08 +0100 | Cezary Kaliszyk | Move example3 out. | file | diff | annotate |
| Tue, 23 Mar 2010 08:42:02 +0100 | Cezary Kaliszyk | Move Ex1 and Ex2 out of Test | file | diff | annotate |
| Tue, 23 Mar 2010 08:33:48 +0100 | Cezary Kaliszyk | Move examples which create more permutations out | file | diff | annotate |
| Tue, 23 Mar 2010 08:22:48 +0100 | Cezary Kaliszyk | Move LamEx out of Test. | file | diff | annotate |
| Tue, 23 Mar 2010 08:11:11 +0100 | Cezary Kaliszyk | Move Non-respectful examples to NotRsp | file | diff | annotate |
| Tue, 23 Mar 2010 07:04:27 +0100 | Cezary Kaliszyk | Move the comment to appropriate place. | file | diff | annotate |
| Fri, 19 Mar 2010 18:42:57 +0100 | Cezary Kaliszyk | Automatically derive support for datatypes with at-most one binding per constructor. | file | diff | annotate |