#1597 (Nov 12, 2021, 3:58:32 AM)

1. merged (detail / hgweb)
2. tuned generation of TPTP with $ite/$let in higher-order logics (detail / hgweb)
3. tuned generation of TPTP with $ite in function position (detail / hgweb)
4. tuned TPTP generation of If helper facts (detail / hgweb)
5. merged (detail / hgweb)
6. clarified signature: prefer static operations; (detail / hgweb)
7. clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources; (detail / hgweb)
8. more robust; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. clarified signature: more explicit class Entity_Context with private state + operations; (detail / hgweb)
11. more hyperlinks, notably internal fact references; (detail / hgweb)
12. Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.14UUXO (detail / hgweb)
13. A tiny bit of tidying connected with Zorn's Lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 8 min waiting;
• 1 hr 39 min build duration;
• 4 hr 48 min total from scheduled to completion.