diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2013-12-03 14:22:25 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2013-12-03 14:22:25 +0100 |
| commit | aca9c227772e3765833605866ac413e61a98d04a (patch) | |
| tree | bb83f43b1ebf846f32429fbcdebd782bf843c51c /theories/Reals/NewtonInt.v | |
| parent | e0ff9328c51cec3bd65d4893af5da5c9f8ba2570 (diff) | |
Silence some warning about references in documentation.
Diffstat (limited to 'theories/Reals/NewtonInt.v')
0 files changed, 0 insertions, 0 deletions