#455 (Oct 25, 2017, 12:50:09 AM)

1. store session sources stamp; (detail / hgweb)
2. generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen (detail / hgweb)
3. misc tuning and modernization; (detail / hgweb)
4. tuned output; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.