#1553 (Sep 21, 2021, 1:05:56 AM)

1. merged (detail / hgweb)
2. proper constants in TPTP $let binding (detail / hgweb)
3. more operations from Isabelle/ML; (detail / hgweb)
4. merged (detail / hgweb)
5. tuned proofs --- eliminated 'guess'; (detail / hgweb)
6. tuned proofs;
   tuned whitespace; (detail / hgweb)
7. clarified antiquotations; (detail / hgweb)
8. proper firstorderization in Sledgehammer (detail / hgweb)

Started by an SCM change

This run spent:

• 15 min waiting;
• 2 hr 5 min build duration;
• 2 hr 21 min total from scheduled to completion.