aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Compat
ModeNameSize
-rw-r--r--AdmitAxiom.v866logplain
-rw-r--r--Coq84.v4074logplain
-rw-r--r--Coq85.v1655logplain
-rw-r--r--Coq86.v590logplain
-rw-r--r--vo.itarget41logplain