QuotMain.thy
Thu, 22 Oct 2009 15:45:05 +0200 Cezary Kaliszyk The proof gets simplified
less more (0) -100 -30 -10 -1 tip