aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Compat
ModeNameSize
-rw-r--r--AdmitAxiom.v866logplain
-rw-r--r--Coq84.v3970logplain
-rw-r--r--Coq85.v591logplain
-rw-r--r--vo.itarget32logplain