aboutsummaryrefslogtreecommitdiff
path: root/theories/Setoids/Setoid_tac.v
AgeCommit message (Expand)Author
2007-12-31Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...msozeau
2007-09-27Découpage de Setoid.vnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 16:44:59 +0000