#1622 (May 3, 2018, 9:22:50 PM)

1. merged (detail / hgweb)
2. fixed HOL-Analysis (detail / hgweb)
3. merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space) (detail / hgweb)
4. added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 3 hr 13 min build duration;
• 3 hr 18 min total from scheduled to completion.