summaryrefslogtreecommitdiff
path: root/src/coq/README
Commit message (Collapse)AuthorAge
* Update Coq semantics for 8.3pl2Gravatar Adam Chlipala2011-11-30
|
* Coq READMEGravatar Adam Chlipala2009-02-26