#1296 (Oct 6, 2020, 1:25:05 AM)

1. merged (detail / hgweb)
2. still not quite fixed... (detail / hgweb)
3. A few more reversions (detail / hgweb)
4. reversion to the explicit existential quantifier (detail / hgweb)
5. more tidying of messy proofs (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 35 min waiting;
• 1 hr 27 min build duration;
• 2 hr 2 min total from scheduled to completion.