#1671 (Jun 14, 2018, 4:11:12 PM)

1. merge (detail / hgweb)
2. moved lemmas/defs from IsaFoR into AFP (detail / hgweb)
3. moved lemmas/defs from IsaFoR into AFP (detail / hgweb)
4. moved lemmas/defs from IsaFoR into AFP (detail / hgweb)
5. moved lemmas and definitions from IsaFoR into AFP (detail / hgweb)
6. moved lemma from IsaFoR into AFP (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 3 hr 45 min build duration;
• 3 hr 46 min total from scheduled to completion.