Quot/QuotProd.thy
2009-12-10 Christian Urban added maps-printout and tuned some comments
2009-12-09 Cezary Kaliszyk Code cleaning.
2009-12-08 Christian Urban decoupled QuotProd from QuotMain and also started new cleaning strategy
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip