| 2010-03-22 | Cezary Kaliszyk | Got rid of alpha_bn_rsp_cheat. | file | diff | annotate |
| 2010-03-20 | Cezary Kaliszyk | Use 'alpha_bn_refl' to get rid of one of the sorrys. | file | diff | annotate |
| 2010-03-19 | Cezary Kaliszyk | Automatically derive support for datatypes with at-most one binding per constructor. | file | diff | annotate |
| 2010-03-19 | Cezary Kaliszyk | Use fs typeclass in showing finite support + some cheat cleaning. | file | diff | annotate |
| 2010-03-18 | Cezary Kaliszyk | Rename "_property" to ".property" | file | diff | annotate |
| 2010-03-18 | Cezary Kaliszyk | Added fv,bn,distinct,perm to the simplifier. | file | diff | annotate |
| 2010-03-18 | Cezary Kaliszyk | Rename bound variables + minor cleaning. | file | diff | annotate |