diff options
| author | Andres Erbsen | 2019-01-28 18:23:51 -0500 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-14 11:07:42 +0000 |
| commit | b7df34e9bc0959a3c074eeb6f67d932605481441 (patch) | |
| tree | 6245555341b1e1a788f62e88ae705afdbe81e9de /kernel/nativecode.ml | |
| parent | 98914efd4193160d843092461674d6482aeee32e (diff) | |
BinInt: 3 lemmas about testbit, mod _ 2^, ones
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions