#657 (Jun 13, 2018, 12:50:09 AM)

1. merged (detail / hgweb)
2. more abstract naming (detail / hgweb)
3. tuned (detail / hgweb)
4. workaround: in internalize_sort, Thm.unconstrainT can rename type variables and therefore invalidate new_tvar (detail / hgweb)
5. a derived rule combining unoverload and internalize_sort (detail / hgweb)
6. merged (detail / hgweb)
7. fixed a name clash (detail / hgweb)
8. merged (detail / hgweb)
9. the last of the infinite product proofs (detail / hgweb)
10. merged (detail / hgweb)
11. proved avl for map (finally); tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.