#174 (Oct 19, 2016, 12:50:07 AM)

1. add missing file Essential_Supremum.thy (detail / hgweb)
2. Merge (detail / hgweb)
3. Inserted necessary dependency (detail / hgweb)
4. suitable logical type class for abs, sgn (detail / hgweb)
5. HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp (detail / hgweb)
6. Merge (detail / hgweb)
7. more from moretop.ml (detail / hgweb)
8. Jenkins: build in system mode again
   
   (backout of 3dbfd6758735) (detail / hgweb)
9. Jenkins: configurable clean build (detail / hgweb)
10. HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory (detail / hgweb)
11. HOL-Probability: move conditional expectation from AFP/Ergodic_Theory (detail / hgweb)
12. Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche) (detail / hgweb)
13. restored document structure after theory refactoring (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 6 min build duration;
• 1 hr 6 min total from scheduled to completion.