#481 (Oct 18, 2016, 2:29:32 PM)

1. Ergodic_Theory: move theorems to Isabelle's repository (detail / hgweb)
2. Ergodic_Theory: move conditional expectation to the Isabelle repository (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 26 min build duration;
• 1 hr 26 min total from scheduled to completion.