| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |