| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing bug #4596: [rewrite] broke in the past few weeks. |  Pierre-Marie Pédrot | 2016-02-28 |
| Checking that a term was indeed a relation was made too early, as the decomposition function recognized relations of the form "f (g .. (h x y)) with f, g unary and only h binary. We postpone this check to the very end. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |