Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix second-order matching to properly check that the predicate found by | 2014-05-09 | |
abstraction has the right type. Fixes bug# 3306. Add test-suite files for bugs 3305 and 3306. |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix second-order matching to properly check that the predicate found by | 2014-05-09 | |
abstraction has the right type. Fixes bug# 3306. Add test-suite files for bugs 3305 and 3306. |