diff options
| author | Gaetan Gilbert | 2017-04-21 19:52:33 +0200 |
|---|---|---|
| committer | Gaetan Gilbert | 2017-04-27 21:33:39 +0200 |
| commit | a5f33b5fda592c2dfaed0c16d3773b35e7acab28 (patch) | |
| tree | 6f9acc82475871ee7dd51b434beb791ab3086446 /kernel/names.ml | |
| parent | f67f84fc4831923aa9a2323b3a71c3a69fe61480 (diff) | |
Disambiguate Polynomial.Hyp and Mfourier.Hyp -> Assum
Diffstat (limited to 'kernel/names.ml')
0 files changed, 0 insertions, 0 deletions