Tue, 12 Sep 2017 20:40:46 +0200 introduced zip_with
nipkow [Tue, 12 Sep 2017 20:40:46 +0200] rev 66655
introduced zip_with
Tue, 12 Sep 2017 12:14:38 +0200 added lemma
nipkow [Tue, 12 Sep 2017 12:14:38 +0200] rev 66654
added lemma
Mon, 11 Sep 2017 18:36:13 +0200 clarified signature: proper result;
wenzelm [Mon, 11 Sep 2017 18:36:13 +0200] rev 66653
clarified signature: proper result;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip