#642 (Dec 22, 2016, 9:58:07 AM)

1. proper logical constants (detail / hgweb)
2. prefer existing logical constant over abbreviation (detail / hgweb)
3. dropped aliasses (detail / hgweb)
4. removed dangerous simp rule: prime computations can be excessively long (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 36 min total from scheduled to completion.