aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/IntMap
Commit message (Expand)AuthorAge
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* On sait jamaisGravatar herbelin2003-11-12
* Cacher les .v8Gravatar herbelin2003-10-03
* Destruct/Induction -> NewDestruct/NewInductionGravatar herbelin2003-09-24
* Deplacement de lemmes de IntMap vers ZArithGravatar herbelin2003-09-22
* petits changements afin de profiter du nouveau Rewrite/inGravatar barras2002-03-05
* code mort dans tactinterp; plus de Debug On/Off dans CorrectnessGravatar filliatr2002-02-21
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Expérimentation de NewDestruct et parfois NewInductionGravatar herbelin2001-08-05
* (One more) Minor layout adjustments for Library docGravatar coq2001-04-23
* Minor layout adjustments for Library docGravatar coq2001-04-23
* Library doc adjustments (until page 140)Gravatar coq2001-04-20
* Mise de (*i autour CVS infoGravatar mohring2001-04-19
* coqwebGravatar filliatr2001-04-11
* documentation automatique de la bibliothèque standardGravatar filliatr2001-04-11
* Ajout lemmes arithmetiquesGravatar mohring2001-04-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 20:37:21 +0000