Quot/QuotList.thy
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