| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Commentaires |  herbelin | 2000-09-15 |
| * | Passage à des contextes de vars et de rels pouvant contenir des déclarations | herbelin | 2000-07-24 |
| * | Précalcul de la forme canonique des constructeurs et arités pour traiter le... | herbelin | 2000-07-01 |
| * | bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo... |  filliatr | 2000-06-21 |
| * | Mise en place d'un choix constr/typed_type en remplacement de certains Cast | herbelin | 2000-06-01 |
| * | Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeurs | herbelin | 2000-05-31 |
| * | Changement nom module Constant en Declarations | herbelin | 2000-05-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |