#1013 (Mar 28, 2024, 8:33:11 AM)

1. tuned proofs of Equiv_Relations.equiv (detail / hgweb)
2. merged (detail / hgweb)
3. proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests; (detail / hgweb)
4. proper "isabelle go_setup" for Jenkins; (detail / hgweb)
5. added lemma wfp_on_image and author name to theory (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 5 hr 6 min build duration;
• 5 hr 6 min total from scheduled to completion.

• Distributed_Distinct_Elements