| 2010-03-18 | Cezary Kaliszyk | fv_bn may need to call other fv_bns. | file | diff | annotate |
| 2010-03-18 | Cezary Kaliszyk | Update TODO. | file | diff | annotate |
| 2010-03-18 | Cezary Kaliszyk | Which proofs need a 'sorry'. | file | diff | annotate |
| 2010-03-18 | Christian Urban | added TODO | file | diff | annotate |