diff options
author | 2018-10-09 13:32:03 -0400 | |
---|---|---|
committer | 2018-10-09 13:32:03 -0400 | |
commit | c4e09295f5a8e10ea1957711da0e79661177e8a6 (patch) | |
tree | 3a53f8c87bc9be37e41e1cccb3b622d90654b605 /src/Util/OptionList.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/OptionList.v')
0 files changed, 0 insertions, 0 deletions