| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2006-03-15 | Réparation de FSet (back to 8628) | notin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8631 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2006-03-15 | reparation des $ | letouzey | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8629 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2006-03-15 | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: | letouzey | |
| pas d'implementations par AVL, mais celles par lists, ainsi que les foncteurs de proprietes. Au passage, ajout de MoreList (complements de List) et SetoidList (quelques relations sur des listes considerees modulo un eq ou lt non standard. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8628 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |