aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Compat
ModeNameSize
-rw-r--r--AdmitAxiom.v866logplain
-rw-r--r--Coq86.v701logplain
-rw-r--r--Coq87.v1008logplain