#4123 (Dec 6, 2022, 8:48:13 AM)

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

1. merged (detail / hgweb)
2. added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp (detail / hgweb)
3. added lemma totalp_on_converse[simp] (detail / hgweb)
4. added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp] (detail / hgweb)
5. added type annotations and tuned formatting (detail / hgweb)
6. strengthened and renamed irreflp_greater[simp] and irreflp_less[simp] (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 11 sec waiting;
• 3 hr 59 min build duration;
• 4 hr 2 min total from scheduled to completion.