LamEx.thy
2009-11-30 Cezary Kaliszyk Code cleaning.
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.
2009-11-28 Christian Urban renamed r_mk_comb_tac to inj_repabs_tac
less more (0) -30 -10 -3 tip