diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-18 14:51:51 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-18 14:51:51 -0700 |
| commit | 29413b6c7d61993da6eaf9f5e6e9f227f4ec8709 (patch) | |
| tree | 0f221be468667a1086a3514970e28df2c2f5f069 /src/BaseSystemProofs.v | |
| parent | 90c6403a50addd0cd0775aa45510e78505304017 (diff) | |
Make Pow2BaseProofs independent of the def of add_to_nth
Diffstat (limited to 'src/BaseSystemProofs.v')
0 files changed, 0 insertions, 0 deletions