#1793 (Oct 15, 2022, 12:50:11 AM)

1. Tidying of some very old proofs (detail / hgweb)
2. merged (detail / hgweb)
3. tidying of some old proofs (detail / hgweb)
4. merged (detail / hgweb)
5. new contributor (detail / hgweb)
6. more List lemmas (partly by Jeremy Sylvestre) (detail / hgweb)
7. merged (detail / hgweb)
8. merged (detail / hgweb)
9. Trying to clean up some messy proofs (detail / hgweb)
10. Mostly, removing the unfold method (detail / hgweb)
11. Mostly trivial simplifications (detail / hgweb)
12. Removal of the "unfold" method in favour of "unfolding" (detail / hgweb)
13. Elimination of the archaic ASCII syntax (detail / hgweb)
14. strengthened lemmas preorder.reflp_ge[simp] and preorder.reflp_le[simp] (detail / hgweb)
15. added lemmas linorder.totalp_ge[simp], linorder.totalp_greater[simp], linorder.totalp_le[simp], and linorder.totalp_less[simp] (detail / hgweb)

Started by an SCM change

This run spent:

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