#921 (Apr 19, 2019, 12:50:07 AM)

1. added lemma (detail / hgweb)
2. incorporated various material from the AFP into the distribution (detail / hgweb)
3. backed out experimental b67bab2b132c, which slipped in accidentally (detail / hgweb)
4. merged (detail / hgweb)
5. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.