diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-06 13:51:55 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-06 13:51:55 -0700 |
| commit | be1f55f6fc260aa42305b40f3853c56883d34550 (patch) | |
| tree | a88e6a3bd53d07548476b8fc08b4f43ad131d231 /src/Util/ZUtil.v | |
| parent | 89bdd2380c37f07aa5394fd11e1c0b2ca4308790 (diff) | |
Improve some reserved notations
Compatibility with theories/Numbers/NatInt/NZBits.v
Diffstat (limited to 'src/Util/ZUtil.v')
0 files changed, 0 insertions, 0 deletions