diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-20 09:48:17 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-20 09:48:17 -0700 |
| commit | 0a4d512d77e34e0d0f5fe4f7711414dd5cd9939e (patch) | |
| tree | 4c218030ab5005948c9edf1cc932c49df74fdc81 /src/Util/NatUtil.v | |
| parent | 89b3547b231851c739c58c20e2f19073a5cb4c5b (diff) | |
Use a proof that doesn't require as many assumptions in extended_base_length
Diffstat (limited to 'src/Util/NatUtil.v')
0 files changed, 0 insertions, 0 deletions