aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/libnames.ml
Commit message (Expand)AuthorAge
* Déplacement de Declare juste à la fin de interp pour pouvoir accéder à in...Gravatar herbelin2003-09-12
* Passage des noms de tactiques à kernel_name pour compatibilité avec les fon...Gravatar herbelin2003-06-10
* simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis...Gravatar letouzey2003-04-16
* Mise en place d'un traducteur de noms v7->v8Gravatar herbelin2003-03-31
* 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