TODO
2011-06-20 Cezary Kaliszyk TODO/minor
2011-06-20 Cezary Kaliszyk More minor TODOs
2011-06-20 Cezary Kaliszyk Update TODO
2011-05-13 Christian Urban misc
2011-02-04 Christian Urban updated TODO
2010-08-29 Christian Urban updated todos
2010-07-26 Christian Urban small cleaning
2010-05-04 Cezary Kaliszyk Separate Term8, as it may work soon.
2010-04-29 Cezary Kaliszyk Some of the exceptions that the parser should check in TODO.
2010-04-11 Christian Urban added TODO item about parser creating syntax for the wrong type
2010-04-11 Christian Urban added small ittems about equivaraince of alpha_gens and name of lam.perm
2010-04-08 Christian Urban updated (comment about weirdo example)
2010-04-08 Christian Urban properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper)
2010-03-31 Christian Urban added an item about alpha-equivalence (the existential should be closer to the abstraction)
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.
2010-03-18 Christian Urban added item about size functions
2010-03-18 Cezary Kaliszyk Continued description of alpha.
2010-03-18 Cezary Kaliszyk Added fv,bn,distinct,perm to the simplifier.
2010-03-18 Cezary Kaliszyk fv_bn may need to call other fv_bns.
2010-03-18 Cezary Kaliszyk Update TODO.
2010-03-18 Cezary Kaliszyk Which proofs need a 'sorry'.
2010-03-18 Christian Urban added TODO
less more (0) tip