#1603 (Nov 28, 2021, 1:09:29 AM)

1. merged (detail / hgweb)
2. added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset (detail / hgweb)
3. redefined less_multiset to be based on multp (detail / hgweb)
4. added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp (detail / hgweb)
5. added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max (detail / hgweb)
6. added lemmas multp_implies_one_step, one_step_implies_multp, and subset_implies_multp (detail / hgweb)
7. added lemma wfP_multp (detail / hgweb)
8. added lemma mono_multp (detail / hgweb)
9. added Multiset.multp as predicate equivalent of Multiset.mult (detail / hgweb)
10. address problems with launch4j and jdk-17 (see also 41d009462d3c); (detail / hgweb)
11. more robust build on midrange hardware; (detail / hgweb)
12. clarified tests: omit somewhat pointless (unstable) results; (detail / hgweb)
13. proper fields for gnuplot (amending b614e3e4146a); (detail / hgweb)
14. tuned output; (detail / hgweb)
15. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 19 min waiting;
• 1 hr 40 min build duration;
• 1 hr 59 min total from scheduled to completion.