#437 (Sep 30, 2016, 3:09:26 PM)

1. merge (detail / hgweb)
2. added auxiliary lemmas on lists, multisets, polynomials, and vector-spaces (detail / hgweb)

Started by an SCM change

This run spent:

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