diff options
author | 2010-07-01 19:40:27 +0200 | |
---|---|---|
committer | 2010-07-02 15:25:38 +0200 | |
commit | a234eec290bfa77bd312bc949d6901edf502eef2 (patch) | |
tree | a633f4b1752e2f375daf4f274248cc3f1ca3aa00 /theories/NArith/BinPos.v | |
parent | 280a2ce129daa351bc1993cb1a60ce7dd5801bd5 (diff) |
Fix a few warnings
Diffstat (limited to 'theories/NArith/BinPos.v')
0 files changed, 0 insertions, 0 deletions