log src/coq/Name.v

age author description
2009-02-21 Adam Chlipala Finish semantics for Featherweight Ur