| 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 |
| Fri, 19 Mar 2010 15:01:01 +0100 | Cezary Kaliszyk | Update Test to use fset. | file | diff | annotate |
| Thu, 18 Mar 2010 19:02:33 +0100 | Cezary Kaliszyk | Leroy96 supp=fv and fixes to make it compile | file | diff | annotate |
| Thu, 18 Mar 2010 16:22:10 +0100 | Christian Urban | corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant | 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 10:12:41 +0100 | Cezary Kaliszyk | Which proofs need a 'sorry'. | file | diff | annotate |