FIXME-TODO
2009-12-16 Cezary Kaliszyk Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.
2009-12-14 Cezary Kaliszyk FIXME/TODO.
2009-12-11 Cezary Kaliszyk FSet3 minor fixes + cases
2009-12-11 Cezary Kaliszyk Updated TODO list together.
2009-12-10 Christian Urban added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages
2009-12-04 Cezary Kaliszyk More name changes
2009-12-04 Cezary Kaliszyk code cleaning and renaming
less more (0) -10 -7 tip