aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/opened/HoTT_coq_014.v
AgeCommit message (Expand)Author
2014-05-10Add appropriate Fail(s) to opened bugsJason Gross
2014-05-10Move opened bugs to bugs/openedJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 15:51:37 +0000