#589 (Mar 27, 2018, 1:05:45 AM)

1. Merged (detail / hgweb)
2. Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa) (detail / hgweb)
3. Added some simple facts about limits (detail / hgweb)
4. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 15 min waiting;
• 1 hr 22 min build duration;
• 1 hr 38 min total from scheduled to completion.