#1724 (Jun 30, 2022, 12:50:10 AM)

1. tuned proof (detail / hgweb)
2. added lemmas domain_comp and unify_gives_minimal_domain (detail / hgweb)
3. added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range (detail / hgweb)
4. merged (detail / hgweb)
5. added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU (detail / hgweb)
6. more macOS versions; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 46 min total from scheduled to completion.