#496 (Oct 20, 2016, 9:32:09 PM)

1. Automated merge with https://bitbucket.org/isa-afp/afp-devel (detail / hgweb)
2. Weakened interface condition for successors function & added PR_CONST to refinement thms (detail / hgweb)
3. Automated merge with https://bitbucket.org/isa-afp/afp-devel (detail / hgweb)
4. merged (detail / hgweb)
5. frame_step_tac always normalizes (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 59 min build duration;
• 59 min total from scheduled to completion.