Tue, 08 Dec 2009 13:00:36 +0100 Cezary Kaliszyk Removed pattern from quot_rel_rsp, since list_rel and all used introduced ones cannot be patterned
Tue, 08 Dec 2009 12:59:38 +0100 Cezary Kaliszyk Proper checked map_rsp.
Tue, 08 Dec 2009 12:36:28 +0100 Cezary Kaliszyk Nitpick found a counterexample for one lemma.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip