#1173 (Apr 18, 2020, 2:18:25 AM)

1. merged (detail / hgweb)
2. New theory Library/List_Lenlexorder.thy, a type class instantiation for well-ordering lists (detail / hgweb)
3. discontinued somewhat incoherent patches (see also 3b36fc4916af); (detail / hgweb)
4. use friendlier package; (detail / hgweb)
5. removed LaTeX package and hack to avoid ALLCAPS headers (detail / hgweb)
6. use friendlier package (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 28 min waiting;
• 1 hr 20 min build duration;
• 2 hr 48 min total from scheduled to completion.