diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:26:11 +0100 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:26:11 +0100 |
commit | b96d222d47da5c5d59b65dfa152e255b7a4f7b46 (patch) | |
tree | 31535b8d1ec3c295bc96727580446297341e65d0 /src/array | |
parent | a25181f93604e279b899552b119d68df0c63b0ad (diff) | |
download | smtcoq-b96d222d47da5c5d59b65dfa152e255b7a4f7b46.tar.gz smtcoq-b96d222d47da5c5d59b65dfa152e255b7a4f7b46.zip |
int does not exist in standard coq
Diffstat (limited to 'src/array')
0 files changed, 0 insertions, 0 deletions