#1500 (Apr 11, 2018, 9:47:09 PM)

1. fixed proof in Stochastic_Matrix_Perron_Frobenius.thy (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 8 min 40 sec build duration;
• 8 min 46 sec total from scheduled to completion.