aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/prerequisite
ModeNameSize
-rw-r--r--admit.v65logplain
-rw-r--r--bind_univs.v155logplain
-rw-r--r--make_local.v276logplain
-rw-r--r--make_notation.v369logplain