Quot/QuotProd.thy
2010-01-08 Cezary Kaliszyk map and rel simps for all quotients; needed when changing the relations to aggregate ones.
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