#501 (Oct 27, 2016, 11:47:08 AM)

1. merge (detail / hgweb)
2. more precise citation (detail / hgweb)
3. soundness of list-based implementation (detail / hgweb)
4. soundness of distinct degree factorization up to exercise 16 in type-based setting (detail / hgweb)
5. continued on distinct degree factorization (detail / hgweb)
6. initial version of distinct degree factorization (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.