diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-08 18:17:13 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:38:34 +0200 |
commit | f86e6618b62769b1c3e78175f95f882d3960d54b (patch) | |
tree | a08bf40723ef19d1855fad27dfe575bfaa21bd8d /runtime/x86_32 | |
parent | dd243f5f35200aa9fdcc400300990192ed4bc0b6 (diff) | |
download | compcert-f86e6618b62769b1c3e78175f95f882d3960d54b.tar.gz compcert-f86e6618b62769b1c3e78175f95f882d3960d54b.zip |
More lemmas about powers of 2
Diffstat (limited to 'runtime/x86_32')
0 files changed, 0 insertions, 0 deletions