diff options
| author | Hugo Herbelin | 2020-05-30 23:11:08 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-16 18:24:02 +0100 |
| commit | 68bd3b4e3f9932ef4b3f2afd260cec8780ae155f (patch) | |
| tree | a2dd373a3fb137d31e95cd9007cdabd3b92c1f6a /theories/setoid_ring | |
| parent | d1be8745897ecb7e3910dcbf380ad163da7125b9 (diff) | |
Other renamings evd -> sigma in newring.ml.
Diffstat (limited to 'theories/setoid_ring')
0 files changed, 0 insertions, 0 deletions