implicit arguments in quotient.v, close #447
make setrel notation global is_mere_relation in Overture
remove unnecessary Let in Quotient module
oops
coqdoc
Merge pull request #450 from mikeshulman/quotient

implicit arguments in quotient.v, close #447