Skip to content

compatibility with coq 8.12#241

Merged
CohenCyril merged 2 commits intomasterfrom
compatibility_coq_8_12
Jul 27, 2020
Merged

compatibility with coq 8.12#241
CohenCyril merged 2 commits intomasterfrom
compatibility_coq_8_12

Commits

Commits on Jul 27, 2020