| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-10-02 | nouveau ring/field | barras |
| 2006-08-22 | remove an orphan comment (attached to a piece of code that was removed). | bertot |
| 2006-08-17 | Checks that abstract setoid rings can be defined in a module and the tactic | bertot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |