| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-11-02 | suppression des (* open Generic *) | filliatr |
| 2000-10-06 | Correction incompatibilites dans la fn des types des inductifs | herbelin |
| 2000-10-01 | Renommage AppL en App | herbelin |
| 2000-09-14 | Abstraction de constr | herbelin |
| 2000-09-10 | Correction pour make doc | herbelin |
| 2000-09-10 | Ajout d'un LetIn primitif. | herbelin |
| 2000-06-15 | Code mort | herbelin |
| 2000-05-31 | Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeurs | herbelin |
| 2000-05-18 | Effets de bords suite à la restructuration des inductives (cf Inductive) | herbelin |
| 2000-05-03 | Ajout get_reference | herbelin |
| 2000-05-02 | Divers | herbelin |
| 2000-04-30 | Suite intégration de constr_pattern | herbelin |
| 2000-04-28 | Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |