aboutsummaryrefslogtreecommitdiff
path: root/theories/Compat/AdmitAxiom.v
AgeCommit message (Expand)Author
2016-01-20Update copyright headers.Maxime Dénès
2015-12-14Moved proof_admitted to its own file, named "AdmitAxiom.v".Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 06:48:13 +0000