diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-11-24 13:39:06 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-11-24 13:39:06 +0100 |
| commit | 9ddae1778aef70c55a1347c4d0b28694cf34a5af (patch) | |
| tree | 8d89834ee9ada62eb58dffefba110e9477381164 /theories/ZArith/ZArith_base.v | |
| parent | 989553966c7ba1a2cc23fd10fc2633dcb0f98648 (diff) | |
Fix some documentation typos.
Diffstat (limited to 'theories/ZArith/ZArith_base.v')
0 files changed, 0 insertions, 0 deletions