| Wed, 16 Dec 2009 12:15:41 +0100 | Cezary Kaliszyk | Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments. | file | diff | annotate |
| Mon, 14 Dec 2009 13:56:24 +0100 | Cezary Kaliszyk | FIXME/TODO. | file | diff | annotate |
| Fri, 11 Dec 2009 16:32:40 +0100 | Cezary Kaliszyk | FSet3 minor fixes + cases | file | diff | annotate |
| Fri, 11 Dec 2009 13:51:08 +0100 | Cezary Kaliszyk | Updated TODO list together. | file | diff | annotate |
| Thu, 10 Dec 2009 18:28:30 +0100 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | file | diff | annotate |
| Fri, 04 Dec 2009 15:18:33 +0100 | Cezary Kaliszyk | More name changes | file | diff | annotate |