| Tue, 23 Mar 2010 08:33:48 +0100 | Cezary Kaliszyk | Move examples which create more permutations out | file | diff | annotate |
| Mon, 22 Mar 2010 17:21:27 +0100 | Cezary Kaliszyk | Got rid of alpha_bn_rsp_cheat. | file | diff | annotate |
| Sat, 20 Mar 2010 09:27:28 +0100 | Cezary Kaliszyk | Use 'alpha_bn_refl' to get rid of one of the sorrys. | 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 |
| Fri, 19 Mar 2010 14:54:30 +0100 | Cezary Kaliszyk | Use fs typeclass in showing finite support + some cheat cleaning. | file | diff | annotate |
| Thu, 18 Mar 2010 15:13:20 +0100 | Cezary Kaliszyk | Rename "_property" to ".property" | file | diff | annotate |
| Thu, 18 Mar 2010 12:09:59 +0100 | Cezary Kaliszyk | Added fv,bn,distinct,perm to the simplifier. | file | diff | annotate |
| Thu, 18 Mar 2010 08:32:55 +0100 | Cezary Kaliszyk | Rename bound variables + minor cleaning. | file | diff | annotate |