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.
2010-01-08 Cezary Kaliszyk Modifictaions for new_relation.
2009-12-26 Christian Urban corrected wrong [quot_respect] attribute; tuned
2009-12-21 Christian Urban get_fun needed change to cope with "('a fset) fset" types...this needs composition (op o); now id_simps contains also id_o and o_id, and map_id is also added in QuotList.thy; regularize and cleaning needed to be hacked (indicated by "HACK")...THIS NEEDS ATTENTION!!!; except two lemmas in IntEx, all examples go through; added considerable material to FSet3; tuned FIXME-TODO
2009-12-09 Cezary Kaliszyk Code cleaning.
2009-12-09 Cezary Kaliszyk foldr_rsp.
2009-12-08 Christian Urban proper formulation of all preservation theorems
2009-12-08 Christian Urban started to reformulate preserve lemmas
2009-12-08 Christian Urban changed names of attributes
2009-12-08 Cezary Kaliszyk Proper checked map_rsp.
2009-12-07 Cezary Kaliszyk List moved after QuotMain
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip