#838 (Jan 8, 2019, 12:50:10 AM)

1. moved generalized lemmas (detail / hgweb)
2. generalized (detail / hgweb)
3. split off Homotopy.thy (detail / hgweb)
4. split off Convex.thy: material that does not require Topology_Euclidean_Space (detail / hgweb)
5. moved setdist to more appropriate places (detail / hgweb)
6. reduced dependencies of Connected.thy (detail / hgweb)
7. split off theory combining Elementary_Topology and Abstract_Topology (detail / hgweb)
8. moved material from Connected.thy to more appropriate places (detail / hgweb)
9. generalized (detail / hgweb)
10. moved material from Connected.thy to more appropriate places (detail / hgweb)
11. generalized (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.