diff options
author | 2011-11-30 15:28:56 -0500 | |
---|---|---|
committer | 2011-11-30 15:28:56 -0500 | |
commit | d35896d2f29d23c3cd4c180f9249e44ebf7ed208 (patch) | |
tree | 46bd1fc7feee6dad73467084bb05bff6b03b69c4 /tests/div.ur | |
parent | b0da719acd2e225d83e064e9336e1097b87df6d8 (diff) |
Update Coq semantics for 8.3pl2
Diffstat (limited to 'tests/div.ur')
0 files changed, 0 insertions, 0 deletions