#644 (Dec 9, 2016, 10:35:12 AM)

1. removed redundant theorem (and theory file) + fixed a few paths + tuning (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 4 min 45 sec build duration;
• 4 min 54 sec total from scheduled to completion.