diff options
| author | Brian Campbell | 2018-05-29 12:31:39 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 273095efe710550df5bd16348242d6704190cdc8 (patch) | |
| tree | 40b06ef049e2f98a21e44d06f764e692ec6b5c83 /src | |
| parent | 3398a9debf4aaf084db28bd4aa8606b264d47df9 (diff) | |
Add missing Coq builtin info to vector_inc
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions