aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/IntMap
Commit message (Expand)AuthorAge
* 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