#483 (Oct 18, 2016, 6:22:18 PM)

1. Ergodic_Theory: moved Product_Topology to Isabelle; Lp: moved Essential Supremum to Isabelle (detail / hgweb)
2. renamed convergent_eq_cauchy (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 2 min 25 sec build duration;
• 2 min 32 sec total from scheduled to completion.