#2190 (May 14, 2024, 4:56:03 AM)

1. More binomial material (detail / hgweb)
2. syntax of gchoose now the same as choose (detail / hgweb)
3. Some new simprules – and patches for proofs (detail / hgweb)
4. merged (detail / hgweb)
5. merged (detail / hgweb)
6. A little more tidying in Nominal (detail / hgweb)

Started by an SCM change

This run spent:

• 4 hr 6 min waiting;
• 2 hr 5 min build duration;
• 6 hr 11 min total from scheduled to completion.