#1318 (Jan 12, 2018, 1:38:09 PM)

1. Markov_Models: add AE_T_ev_HLD_infinite (detail / hgweb)
2. Markov_Models: transfer measures along a relation induced by a function (detail / hgweb)
3. Markov_Models: generalized coinduction rule for stream measures (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 11 min build duration;
• 11 min total from scheduled to completion.