aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/typeclasses/NewSetoid.v
Commit message (Expand)AuthorAge
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 10:53:18 +0000