#1313 (Jan 11, 2018, 11:20:10 PM)

1. clarified theory imports; (detail / hgweb)
2. uniform use of Standard ML op-infix -- eliminated warnings; (detail / hgweb)
3. prefer formal comments; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 54 min build duration;
• 54 min total from scheduled to completion.