#1124 (Feb 17, 2020, 12:50:06 AM)

1. merged (detail / hgweb)
2. lemmas about "card A = 2"; prefer iff to implications (detail / hgweb)
3. NEWS; (detail / hgweb)
4. proper sort constraints for strip_shyps, which implicitly performs type instantiation;
   include solve_constraints in strip_shyps to avoid later conflicts with Thm.transfer; (detail / hgweb)

Started by an SCM change

This run spent:

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