summaryrefslogtreecommitdiff
path: root/contrib/setoid_ring/Ring_tac.v
Commit message (Expand)AuthorAge