diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-08-06 16:19:50 -0400 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-08-10 13:22:00 -0400 |
| commit | bb08a887b65a76da05885018c831ed14432d50b6 (patch) | |
| tree | 3a7966522bcd1be3b0144d5a027c8a62786aebfd /theories/ZArith/Zpower.v | |
| parent | 907320d6b0bfe4728337815b1e6a5ffd5fcebc4d (diff) | |
New upstream release candidate
Diffstat (limited to 'theories/ZArith/Zpower.v')
0 files changed, 0 insertions, 0 deletions