#1838 (Dec 17, 2022, 1:28:05 AM)

1. merged (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. clarified names; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned signature (see also 8342cba8eae8); (detail / hgweb)
7. tuned names: avoid overlap with instances of class Resources; (detail / hgweb)
8. merged (detail / hgweb)
9. file with partial function docu (detail / hgweb)
10. Added section about code generation for partial functions (detail / hgweb)
11. added lemmas sym_on_subset and symp_on_subset (detail / hgweb)
12. added lemmas sym_onD and symp_onD (detail / hgweb)
13. added lemmas sym_onI and symp_onI (detail / hgweb)
14. added lemma symp_on_sym_on_eq[pred_set_conv] (detail / hgweb)
15. added predicates sym_on and symp_on and redefined sym and symp to be abbreviations (detail / hgweb)
16. added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset (detail / hgweb)

Started by an SCM change

This run spent:

• 38 min waiting;
• 1 hr 52 min build duration;
• 2 hr 30 min total from scheduled to completion.