2010-03-18 | Christian Urban | added item about size functions | file | diff | annotate |
2010-03-18 | Cezary Kaliszyk | Continued description of alpha. | file | diff | annotate |
2010-03-18 | Cezary Kaliszyk | Added fv,bn,distinct,perm to the simplifier. | file | diff | annotate |
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 |