FIXME-TODO
2009-12-11 Cezary Kaliszyk FSet3 minor fixes + cases
2009-12-11 Cezary Kaliszyk Updated TODO list together.
2009-12-10 Christian Urban added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages
2009-12-04 Cezary Kaliszyk More name changes
2009-12-04 Cezary Kaliszyk code cleaning and renaming
2009-12-04 Cezary Kaliszyk Removed previous inj_repabs_tac
2009-12-04 Cezary Kaliszyk rep_abs_rsp_tac to replace the last use of instantiate_tac with matching and unification.
2009-12-04 Cezary Kaliszyk Fixes after big merge.
2009-12-04 Cezary Kaliszyk The big merge; probably non-functional.
2009-12-04 Cezary Kaliszyk First version of the deterministic rep-abs-inj-tac.
2009-12-03 Christian Urban removed quot argument...not all examples work anymore
2009-12-03 Christian Urban first version of internalised quotient theorems; added FIXME-TODO
less more (0) tip