2009-11-30 | Cezary Kaliszyk | Code cleaning. | file | diff | annotate |
2009-11-29 | Cezary Kaliszyk | Added 'TRY' to refl in clean_tac to get as far as possible. Removed unnecessary [quot_rsp] in FSet. Added necessary [quot_rsp] and one lifted thm in LamEx. | file | diff | annotate |
2009-11-28 | Christian Urban | renamed r_mk_comb_tac to inj_repabs_tac | file | diff | annotate |