Quot/QuotList.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 more eq_reflection & other cleaning.
2010-01-25 Christian Urban re-inserted lemma in QuotList
2010-01-25 Christian Urban tuned proofs (mainly in QuotProd)
2010-01-21 Cezary Kaliszyk Changed fun_map and rel_map to definitions.
less more (0) -10 -7 tip