#876 (May 2, 2017, 3:43:03 PM)

1. Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.VldMQI (detail / hgweb)
2. Simplification of some proofs. Also key lemmas using !! rather than ! in premises (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 32 min total from scheduled to completion.