aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/libnames.mli
Commit message (Expand)AuthorAge
* Passage des noms de tactiques à kernel_name pour compatibilité avec les fon...Gravatar herbelin2003-06-10
* des Set et des Map en plusGravatar letouzey2002-12-05
* Quelques Set et Map spécialisésGravatar letouzey2002-11-28
* Ajout RefmapGravatar herbelin2002-11-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02