Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout mind_arities_env | herbelin | 2000-10-11 |
* | Correction incompatibilites dans la fn des types des inductifs | herbelin | 2000-10-06 |
* | Correction pour make doc | herbelin | 2000-09-10 |
* | Ajout d'un LetIn primitif. | herbelin | 2000-09-10 |
* | 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 |
* | 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 |