#3707 (Jun 29, 2022, 5:23:03 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. 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)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 47 min build duration;
• 49 min total from scheduled to completion.