diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-02-28 10:05:49 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-28 10:05:49 +0100 |
| commit | 35aa5686aa5352dfdb62002db56720c1d3e144ce (patch) | |
| tree | c17f1b86335ce15766555bb468025b93c0e26ffc /theories/NArith/Ndec.v | |
| parent | 5213bcdfd2baa5e2e652eaa63fff8d3268959489 (diff) | |
| parent | 4a7d2e906c79fcae452d44ec12de8037d2843fbc (diff) | |
Merge PR #6788: Fixes #6787 (minus sign interpreted by coqdoc as a bullet in Ring_theory.v)
Diffstat (limited to 'theories/NArith/Ndec.v')
0 files changed, 0 insertions, 0 deletions