coq/coq — pull request #8 by JasonGross (2014-01-24 22:38:57+00:00)
Title: [Coercion]s use [Sortclass], not [Prop] (in docs)

Reported By: J. Ian Johnson