log src/coq/Name.v

age author description
2009-02-24 Adam Chlipala Coq formalization uses TDisjoint
2009-02-21 Adam Chlipala Finish semantics for Featherweight Ur