diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-09 15:56:49 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-09 15:56:49 -0400 |
commit | 41813d41400e96a271e2a98183711d2058b81653 (patch) | |
tree | 7d145f1ed12da0f1ea0c81a483f67ee17d9c9456 /src/Util/ZUtil.v | |
parent | 1182f26fb9a28d6c4876cbaf7d821ec92e4d5f22 (diff) |
Factor out Z.{lor,land} proofs a bit more
Diffstat (limited to 'src/Util/ZUtil.v')
0 files changed, 0 insertions, 0 deletions