#619 (May 3, 2018, 1:20:52 AM)

1. tuned -- slightly smaller future closure size; (detail / hgweb)
2. clarified menu actions; (detail / hgweb)
3. purge history more thoroughly (see also 3156faac30a7); (detail / hgweb)
4. merged (detail / hgweb)
5. type class generalisations; some work on infinite products (detail / hgweb)
6. merged (detail / hgweb)
7. simplified some messy proofs (detail / hgweb)
8. clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations);
   tuned headers; (detail / hgweb)

Started by an SCM change

This run spent:

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