diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-30 15:28:56 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 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