Mon, 22 Mar 2021 12:18:35 +0000 type class relaxation
paulson <lp15@cam.ac.uk> [Mon, 22 Mar 2021 12:18:35 +0000] rev 73470
type class relaxation
Mon, 22 Mar 2021 17:33:08 +0100 more NEWS;
wenzelm [Mon, 22 Mar 2021 17:33:08 +0100] rev 73469
more NEWS;
Mon, 22 Mar 2021 17:28:07 +0100 clarified group (but hard to tell);
wenzelm [Mon, 22 Mar 2021 17:28:07 +0100] rev 73468
clarified group (but hard to tell);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip