aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/typeclasses
ModeNameSize
-rw-r--r--NewSetoid.v1851logplain
-rw-r--r--clrewrite.v1873logplain
-rw-r--r--unification_delta.v1064logplain