#1072 (Nov 30, 2019, 12:57:16 AM)

1. bit accessor and fundamental properties (detail / hgweb)
2. merged (detail / hgweb)
3. more informative spec rules: optional name;
   clarified signature;
   more thorough treatment of Thm.trim_context vs. Thm.transfer; (detail / hgweb)
4. proper theory context, e.g. for Thm.transfer; (detail / hgweb)
5. more structural integrity; (detail / hgweb)
6. tuned (detail / hgweb)
7. reduced imports; deleted unusewd minor lemmas for that purpose (detail / hgweb)
8. tuned (detail / hgweb)
9. reduced imports and removed unused material (detail / hgweb)
10. tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 7 min 14 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 27 min total from scheduled to completion.