| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Now 1/x * x simplifies to 1 |  thery | 2007-02-02 |
| * | changement de la fonction norm_subst |  bgregoir | 2007-01-24 |
| * | Changement dans ring et field, beaucoup de correction d'erreurs, | bgregoir | 2006-12-15 |
| * | Changement dans le kernel : | bgregoir | 2006-12-11 |
| * | simplif de la partie ML de ring/field |  barras | 2006-10-27 |
| * | changement des _sym par _comm dans setoid_ring | bgregoir | 2006-10-27 |
| * | field_simplify_eq profite de la factorisation de Laurent | barras | 2006-10-17 |
| * | changes the use of lists and notations, to avoid that the notations |  bertot | 2006-10-16 |
| * | Fix name clash on left | thery | 2006-10-12 |
| * | Remove duplicate conditions in Field + Monomial substitution function for PExpr | thery | 2006-10-10 |
| * | bug dans field_simplify | barras | 2006-10-02 |
| * | args implicites dans Field | barras | 2006-09-29 |
| * | separation de RealField | barras | 2006-09-28 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |