QuotMain.thy
2009-10-28 Cezary Kaliszyk Fix also in the general procedure.
2009-10-28 Cezary Kaliszyk Fixes
2009-10-28 Christian Urban merged
less more (0) -100 -30 -10 -3 tip