| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Modification mkAppL; abstraction via kind_of_term; changement dans Reduction |  herbelin | 2000-09-12 |
| * | Correction pour make doc | herbelin | 2000-09-10 |
| * | Ajout d'un LetIn primitif. | herbelin | 2000-09-10 |
| * | reparation bug des coercions (cas ou on importe une coercion faisant |  barras | 2000-08-08 |
| * | 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 |