Build #775 (Dec 8, 2022, 2:03:09 PM)

1. Strengthened multiset lemmas w.r.t. irrefl and irreflp (detail / hgweb)
2. tuned; (detail / hgweb)
3. merged (detail / hgweb)
4. clarified signature: just one level of arguments to avoid type-inference problems; (detail / hgweb)
5. tuned signature: more operations; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 2 hr 52 min build duration;
• 2 hr 52 min total from scheduled to completion.

• Nested_Multisets_Ordinals
• Weighted_Path_Order