#5267 (May 16, 2024, 4:25:42 PM)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merge (detail)
2. merge (detail)
3. merge (detail)
4. feat(Transport) tune naming, updates from ML_Unification (detail)
5. feat(ML_Unification) index hints on lhs and rhs term (detail)
6. feat(Transport) more uniform concepts for and notation for monotonicity (detail)
7. feat(Transport) infix for eval, improve some text (detail)
8. fix(Transport) replace deleted elim theorem (detail)
9. feat(Transport) remove two superfluous bin_rel lemmas (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 29 min build duration;
• 31 min total from scheduled to completion.

• ML_Unification