| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-04-16 | Suite unification apply et eapply (l'un et l'autre profite maintenant | herbelin |
| 2006-01-28 | Ajout option 'using lemmas' à auto/trivial/eauto | herbelin |
| 2006-01-24 | Suppression de la dépendance en Map.fold de ocaml dont la sémantique a | herbelin |
| 2005-11-17 | A la demande de Julien Forest | letouzey |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-09-18 | Interface Eauto | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |