#920 (Apr 18, 2019, 1:15:00 AM)

1. moved subset_image_inj into Hilbert_Choice (detail / hgweb)
2. Lindelöf spaces and supporting material (detail / hgweb)
3. hierarchically inclusive named theorem collections (detail / hgweb)
4. removed unused fact collections (detail / hgweb)
5. eliminated type class (detail / hgweb)
6. entry point for comprehensive word library (detail / hgweb)
7. tuned theory names (detail / hgweb)
8. integrated Bit_Comparison into Word corpus (detail / hgweb)
9. tuned (detail / hgweb)
10. prefer one theory for misc material (detail / hgweb)
11. moved instance to appropriate place (detail / hgweb)

Started by an SCM change

This run spent:

• 24 min waiting;
• 1 hr 14 min build duration;
• 1 hr 39 min total from scheduled to completion.