| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-05-22 | suppression de l'env/sigma dans les fonctions de reduction beta et iota seuls | herbelin |
| 2000-05-18 | bugs | herbelin |
| 2000-05-18 | Nettoyage | herbelin |
| 2000-05-05 | Intégration de leminv | herbelin |
| 2000-05-04 | les erreurs | herbelin |
| 2000-05-03 | Ajout du langage de tactiques | delahaye |
| 2000-04-30 | Intégration progressive | herbelin |
| 2000-03-27 | Inversion (pas termine) | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |