QuotMain.thy
2009-11-27 Cezary Kaliszyk Removing arguments of tactics: absrep, rel_refl, reps_same are computed.
2009-11-27 Cezary Kaliszyk More cleaning in QuotMain, identity handling.
2009-11-27 Christian Urban tuned
2009-11-27 Christian Urban some tuning
2009-11-27 Christian Urban simplified gen_frees_tac and properly named abstracted variables
2009-11-27 Christian Urban removed CHANGED'
2009-11-27 Christian Urban introduced a separate lemma for id_simps
2009-11-27 Christian Urban renamed inj_REPABS to inj_repabs_trm
2009-11-27 Christian Urban tuned comments and moved slightly some code
2009-11-27 Christian Urban renamed REGULARIZE to be regularize
2009-11-26 Christian Urban more tuning
2009-11-26 Christian Urban deleted get_fun_old and stuff
less more (0) -100 -12 tip