diff options
author | Paul Steckler <psteck@mit.edu> | 2017-11-22 12:33:02 -0500 |
---|---|---|
committer | Paul Steckler <psteck@mit.edu> | 2017-11-22 12:33:02 -0500 |
commit | ecfb73d655601e9aed736b0083a6f6b4682a2083 (patch) | |
tree | e75639ee9ef587f09c0766f571a9579da50fcf40 /intf/vernacexpr.ml | |
parent | eb91ccaf236bc9a60a1e216b76a0a42980c072a7 (diff) |
use OCaml criteria for infix ops, #6212
Diffstat (limited to 'intf/vernacexpr.ml')
0 files changed, 0 insertions, 0 deletions