#662 (Jun 18, 2018, 1:20:21 AM)

1. merged (detail / hgweb)
2. Algebra tidy-up (detail / hgweb)
3. added simp rule (detail / hgweb)
4. more simp (detail / hgweb)
5. moved lemmas from AFP (detail / hgweb)

Started by an SCM change

This run spent:

• 30 min waiting;
• 1 hr 26 min build duration;
• 1 hr 56 min total from scheduled to completion.