diff options
| author | Thomas Bauereiss | 2019-06-06 16:27:06 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-06-06 17:57:25 +0100 |
| commit | 110bef3571a77fd8f1059827ea0bb29935ed785d (patch) | |
| tree | 0d59934c55e8ecfefe11dc644f62554f75749e81 /lib/coq | |
| parent | 1ad5bb9ea7b4462c0ec07b0f6021f6f228834eb5 (diff) | |
Fix tdiv_int and tmod_int bindings for Lem
Also rename them for uniformity with other backends.
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions