| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-07-10 | +functional inversion now takes the function to invert as an optional argument. | jforest |
| 2006-05-03 | Cleanning and factorizing code in funind. Spliting new_arg_principles into to... | jforest |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |