QuotMain.thy
2009-12-04 Cezary Kaliszyk First version of the deterministic rep-abs-inj-tac.
less more (0) -300 -100 -30 -10 -1 tip