#1243 (Oct 24, 2017, 7:24:23 PM)

1. generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 3 hr 3 min build duration;
• 3 hr 8 min total from scheduled to completion.