| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Ajout du Let pour le langage de tactiques |  delahaye | 2000-12-29 |
| * | Renommages autour de NewInduction |  herbelin | 2000-12-18 |
| * | Hint Unfold Local + commentaires |  mohring | 2000-12-12 |
| * | Distinction claire entre Induction (nom interne : raw_induct) et le nouvel in... | herbelin | 2000-11-26 |
| * | Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve... | herbelin | 2000-10-13 |
| * | Modifs d'interpretation de patterns | delahaye | 2000-07-21 |
| * | modules Indrec, Tacentries, Hiddentac |  filliatr | 1999-11-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |