#2093 (Jan 7, 2024, 2:46:27 AM)

1. more zproofs, underlying Proofterm.unconstrain_thm_proof / Thm.unconstrainT; (detail / hgweb)
2. omit syntactic of_class check, which is in conflict with sort constraints within the logic; (detail / hgweb)
3. tuned; (detail / hgweb)
4. minor performance tuning; (detail / hgweb)
5. clarified signature;
   clarified modules; (detail / hgweb)
6. misc tuning and clarification; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. tuned signature: canonical argument order; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 56 min waiting;
• 2 hr 3 min build duration;
• 3 hr 59 min total from scheduled to completion.