Skip to content

Adapt definitional classes to coq/coq#18590#1830

Merged
JasonGross merged 1 commit intomit-plv:sp2019latestfrom JasonGross:sp2019latest+18590-defMar 14, 2024

Commits

Commits on Mar 14, 2024