TODO
2010-03-27 Cezary Kaliszyk Parsing of list-bn functions into components.
2010-03-26 Cezary Kaliszyk Update cheats in TODO.
2010-03-25 Cezary Kaliszyk Update TODO
2010-03-22 Cezary Kaliszyk Got rid of alpha_bn_rsp_cheat.
2010-03-22 Cezary Kaliszyk fv_rsp proved automatically.
2010-03-20 Cezary Kaliszyk Use 'alpha_bn_refl' to get rid of one of the sorrys.
2010-03-19 Cezary Kaliszyk Described automatically created funs.
less more (0) -10 -7 tip