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