diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-10-09 13:32:03 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-10-09 13:32:03 -0400 |
| commit | c4e09295f5a8e10ea1957711da0e79661177e8a6 (patch) | |
| tree | 3a53f8c87bc9be37e41e1cccb3b622d90654b605 /src/Util/ZUtil/Pow2.v | |
| parent | b848550e4e6a44280ac8052a9b870dd168fbd417 (diff) | |
Use [reify_list] in [smart_Literal]
This allows slightly easier proofs, by de-duplicating the logic of
reifying lists.
Diffstat (limited to 'src/Util/ZUtil/Pow2.v')
0 files changed, 0 insertions, 0 deletions