aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/typeclasses
ModeNameSize
-rw-r--r--NewSetoid.v1851logplain
-rw-r--r--backtrack.v2560logplain
-rw-r--r--clrewrite.v1873logplain
-rw-r--r--deftwice.v230logplain
-rw-r--r--open_constr.v293logplain
-rw-r--r--unification_delta.v1064logplain