| Sat, 19 Dec 2009 22:04:34 +0100 | Christian Urban | various tunings; map_lookup now raises an exception; addition to FIXME-TODO | file | diff | annotate |
| 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 |