Fri, 18 Oct 2019 18:41:33 +0000 moved quickcheck setup to distribution
haftmann [Fri, 18 Oct 2019 18:41:33 +0000] rev 70901
moved quickcheck setup to distribution
Fri, 18 Oct 2019 18:41:31 +0000 moved generic instance to distribution
haftmann [Fri, 18 Oct 2019 18:41:31 +0000] rev 70900
moved generic instance to distribution
Fri, 18 Oct 2019 16:25:54 +0200 clarified signature: support partial read_proof to accommodate proof term normalization vs. approximative proof_boxes as upper bound;
wenzelm [Fri, 18 Oct 2019 16:25:54 +0200] rev 70899
clarified signature: support partial read_proof to accommodate proof term normalization vs. approximative proof_boxes as upper bound;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip