#454 (Oct 6, 2016, 5:50:12 PM)

1. Markov_Models: cleanup proof lim_sequence_eq (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 25 min build duration;
• 1 hr 25 min total from scheduled to completion.