aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Compat
ModeNameSize
-rw-r--r--AdmitAxiom.v866logplain
-rw-r--r--Coq85.v1655logplain
-rw-r--r--Coq86.v667logplain