QuotMain.thy
2009-12-05 Christian Urban simplified inj_repabs_trm
2009-12-05 Christian Urban merged
2009-12-05 Christian Urban merged
2009-12-05 Christian Urban simpler version of clean_tac
less more (0) -300 -100 -30 -10 -4 tip