| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Mise en place d'un choix constr/typed_type en remplacement de certains Cast |  herbelin | 2000-06-01 |
| * | Suite restructuration inductifs; changement nom module Constant en Declarations | herbelin | 2000-05-22 |
| * | Ajout de Record | herbelin | 2000-01-11 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |