Quot/QuotOption.thy
2010-01-26 Christian Urban tuned
2010-01-26 Christian Urban merged
2010-01-25 Christian Urban used split_option_all lemma
2010-01-25 Christian Urban used the internal Option.map instead of custom option_map
2010-01-26 Cezary Kaliszyk more eq_reflection & other cleaning.
2010-01-25 Christian Urban ids *cannot* be object equalities
2010-01-25 Christian Urban added prs and rsp lemmas for Some and None
2010-01-08 Cezary Kaliszyk map and rel simps for all quotients; needed when changing the relations to aggregate ones.
2009-12-23 Christian Urban corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file
2009-12-10 Cezary Kaliszyk Option and Sum quotients.
less more (0) tip