log src/coq/README

age author description
2011-11-30 Adam Chlipala Update Coq semantics for 8.3pl2
2009-02-26 Adam Chlipala Coq README