2009-11-28 | Christian Urban | renamed r_mk_comb_tac to inj_repabs_tac | file | diff | annotate |
2009-11-27 | Cezary Kaliszyk | Simplifying arguments; got rid of trans2_thm. | file | diff | annotate |
2009-11-27 | Cezary Kaliszyk | Recommit | file | diff | annotate |
2009-11-27 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
2009-11-25 | Cezary Kaliszyk | applic_prs | file | diff | annotate |
2009-11-25 | Cezary Kaliszyk | Removed unused things from QuotMain. | file | diff | annotate |
2009-11-25 | Cezary Kaliszyk | All examples work again. | file | diff | annotate |