| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Backtrack wrong commit. |  courtieu | 2008-03-14 |
| * | trying f | courtieu | 2008-03-13 |
| * | - completely new version of "functional inversion" using inversion on |  jforest | 2006-07-04 |
| * | Replacing the old version of "functional induction" with the new one. | jforest | 2006-05-31 |
| * | Cleanning and factorizing code in funind. Spliting new_arg_principles into to... | jforest | 2006-05-03 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |