diff options
author | 2012-01-12 18:53:24 +0100 | |
---|---|---|
committer | 2012-01-12 19:32:36 +0100 | |
commit | 740160e590c78840860ee145a0260952507992dc (patch) | |
tree | a8a311fba0ec92f45e3940d2268fdf6f94857f42 /theories/ZArith/ZOrderedType.v | |
parent | 4ac272f0121ba8f3ab48a18c8225b44b03bba4f7 (diff) |
Prepare upload to experimentaldebian/8.4_beta+dfsg-1
Diffstat (limited to 'theories/ZArith/ZOrderedType.v')
0 files changed, 0 insertions, 0 deletions