diff options
author | Jason Gross <jagro@google.com> | 2018-08-24 15:12:16 -0400 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2018-08-24 15:12:16 -0400 |
commit | 87ed4dfaee47cd0fe79083844380886618effd09 (patch) | |
tree | 8e98049224c30b87c75cf291f3e178333c4f3564 /.gitignore | |
parent | 07fc5710981118e78d9e23e78e98c13a000e8635 (diff) |
Add a few more zsimplify_const lemmas about shift
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions