| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Ajout de la mthode load_function pour exporter les 'tactic-ring-theory' |  herbelin | 2000-10-26 |
| * | Manquait le cas Constr de dyn_polynom | herbelin | 2000-10-25 |
| * | Renommage AppL en App | herbelin | 2000-10-01 |
| * | Disparition du type oper mais nouveau type global_reference | herbelin | 2000-10-01 |
| * | Abstraction de constr | herbelin | 2000-09-14 |
| * | Modification mkAppL; abstraction via kind_of_term; changement dans Reduction | herbelin | 2000-09-12 |
| * | Suppression de Abst | herbelin | 2000-09-10 |
| * | Ring |  filliatr | 2000-06-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |