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 | fa906ca9e2e31d809221badd35ba1e93eaf3a8e5 (patch) | |
| tree | 46bd1fc7feee6dad73467084bb05bff6b03b69c4 /src/coq/Name.v | |
| parent | 3563920e17dc55436bb1a92ac192af3fc8e1f61a (diff) | |
Update Coq semantics for 8.3pl2
Diffstat (limited to 'src/coq/Name.v')
0 files changed, 0 insertions, 0 deletions