Quot/QuotProd.thy
2010-01-26 Christian Urban tuned
2010-01-26 Christian Urban merged
2010-01-26 Christian Urban cleaning of QuotProd; a little cleaning of QuotList
2010-01-26 Cezary Kaliszyk Generalized split_prs and split_rsp
2010-01-26 Cezary Kaliszyk More eqreflection/equiv cleaning.
2010-01-25 Christian Urban ids *cannot* be object equalities
2010-01-25 Christian Urban tuned proofs (mainly in QuotProd)
2010-01-21 Cezary Kaliszyk Changed fun_map and rel_map to definitions.
2010-01-13 Cezary Kaliszyk Moved the matches_typ function outside a?d simplified it.
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