aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Compat
ModeNameSize
-rw-r--r--AdmitAxiom.v1016logplain
-rw-r--r--Coq86.v851logplain
-rw-r--r--Coq87.v1158logplain