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