QuotMain.thy
2009-12-04 Christian Urban tuned code
less more (0) -300 -100 -30 -10 -1 tip