diff options
| author |  Amin Timany <amintimany@gmail.com> | 2017-08-18 15:35:33 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-08-18 15:35:33 +0200 |
| commit | 2bb2877795ca1b6234dae05fe9b55e68abcd22ea (patch) | |
| tree | c00efb0c299a458855fba3b33d78b5dbaf9c86d2 /theories/NArith | |
| parent | 63da901edc3ab5b69098499cdc01ab50ed9b3353 (diff) | |
Correct the option for cumulativity in CHANGES
Diffstat (limited to 'theories/NArith')
0 files changed, 0 insertions, 0 deletions