#685 (Jul 11, 2018, 1:41:06 AM)

1. merged (detail / hgweb)
2. final removal of smt from Algebra (detail / hgweb)
3. make theorem, corollary, and proposition %important for HOL-Analysis manual (detail / hgweb)

Started by an SCM change

This run spent:

• 51 min waiting;
• 1 hr 15 min build duration;
• 2 hr 6 min total from scheduled to completion.