#416 (Sep 6, 2016, 10:51:04 PM)

1. merged (detail / hgweb)
2. more operations; (detail / hgweb)
3. clarified proof: save 1-2s CPU time; (detail / hgweb)
4. tuned; (detail / hgweb)
5. strictly sequential abbrevs; (detail / hgweb)
6. clarified obscure facts; (detail / hgweb)
7. clarified modules; (detail / hgweb)
8. clarified modules; (detail / hgweb)
9. standardized alias; (detail / hgweb)

Started by an SCM change