| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2006-05-23 | Changement de précédence de l'argument du by de assert; ↵ | herbelin | |
| conséquences sur les .v git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8853 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2006-05-11 | Duplication du fichier FSetProperties pour les ensembles Weak. | letouzey | |
| Du coup, factorisation d'une partie dans SetoidList. Ajout de lemmes suggeres par Evelyne C. Un oubli dans FSetWeakInterface concernant elements. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8804 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |