Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing #3657 (check that both sides of a "change with" have the same | 2014-10-03 | |
type, what is necessary condition to ensure that the conversion of bodies will not raise an anomaly). |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing #3657 (check that both sides of a "change with" have the same | 2014-10-03 | |
type, what is necessary condition to ensure that the conversion of bodies will not raise an anomaly). |