Skip to content

Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint#21

Open
herbelin wants to merge 1 commit intouds-psl:masterfrom herbelin:master+adapt-coq-pr19301-ceps42-unify-definition-theorem
+15-18

Commits