LamEx.thy
2009-11-28 Christian Urban renamed r_mk_comb_tac to inj_repabs_tac
2009-11-27 Cezary Kaliszyk Simplifying arguments; got rid of trans2_thm.
2009-11-27 Cezary Kaliszyk Recommit
2009-11-27 Cezary Kaliszyk Removing arguments of tactics: absrep, rel_refl, reps_same are computed.
2009-11-25 Cezary Kaliszyk applic_prs
2009-11-25 Cezary Kaliszyk Removed unused things from QuotMain.
2009-11-25 Cezary Kaliszyk All examples work again.
less more (0) -30 -10 -7 tip