#1037 (Oct 20, 2019, 12:50:09 AM)

1. merged (detail / hgweb)
2. export toplevel proof similar to named PThm; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. proper protocol_message for bootstrap proofs; (detail / hgweb)
5. proper export of bootstrap proofs (amending a6304b4664b6); (detail / hgweb)
6. more robust -- avoid interference with Proofterm.proofs := 0 in ML_Bootstrap.thy; (detail / hgweb)
7. proper treatment of self thm_id;
   clarified signature; (detail / hgweb)
8. added quickcheck setup (detail / hgweb)
9. generalized (detail / hgweb)
10. moved quickcheck setup to distribution (detail / hgweb)
11. moved generic instance to distribution (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 21 min total from scheduled to completion.