Coq: change record field update notation to avoid duplicating terms

(using match rather than let-and-projections because the latter would
be reduced by tactics like unfold)

0 files changed, 0 insertions, 0 deletions