aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqchk
ModeNameSize
-rw-r--r--cumulativity.v1499logplain
-rw-r--r--primproj.v64logplain
-rw-r--r--univ.v1713logplain