diff options
author | 2018-02-28 11:49:16 +0100 | |
---|---|---|
committer | 2018-02-28 11:49:16 +0100 | |
commit | f726e860917b56abc94f21d9d5add7594d23bb6d (patch) | |
tree | 20ed3691c55ae835ec387a836f5e08a9eacb563e /tactics/equality.ml | |
parent | 883736f0158d47f9999250eb977cab5a55bb1fc9 (diff) | |
parent | 2c39047fc52ce2e8df6e93121a867dc8d3026b80 (diff) |
Merge PR #6854: comment "resolvability" bit in Evd.evar_map
Diffstat (limited to 'tactics/equality.ml')
0 files changed, 0 insertions, 0 deletions