Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fixed guard check with commutative cuts | 2010-05-20 | |
* | fixed minor pbs with test cases | 2010-03-12 | |
* | introduced lazy computation of size info in the guard condition | 2010-03-11 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fixed guard check with commutative cuts | 2010-05-20 | |
* | fixed minor pbs with test cases | 2010-03-12 | |
* | introduced lazy computation of size info in the guard condition | 2010-03-11 |