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