#986 (Aug 15, 2019, 12:50:09 AM)

1. clarified name context for abstractions -- in contrast to 367e60d9aa1b and Term.variant_frees (*as they are printed :-*); (detail / hgweb)
2. tuned; (detail / hgweb)
3. uniform standard_vars for terms and proof terms; (detail / hgweb)
4. treat simproc results as atomic -- more compact proof terms; (detail / hgweb)

Started by an SCM change

This run spent:

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