aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/closed/bug_sprop_13.v
AgeCommit message (Collapse)Author
2019-03-14Test for SkySkimmer/coq#13Gaëtan Gilbert
(NB: this needs relevance mark fixing)
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 16:55:45 +0000