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