#1815 (Nov 11, 2022, 12:50:08 AM)

1. merged (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end; (detail / hgweb)
4. clarified signature: only support nameless separator; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. use timeout with MiniSat (detail / hgweb)
7. merged (detail / hgweb)
8. added lemma reflp_on_conversp[simp] (detail / hgweb)
9. added lemma transp_reflclp[simp] (detail / hgweb)
10. added lemma reflclp_ident_if_reflp[simp] (detail / hgweb)
11. added lemma reflp_on_reflclp[simp] (detail / hgweb)
12. strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 1 hr 49 min build duration;
• 1 hr 50 min total from scheduled to completion.