aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/IntMap
Commit message (Expand)AuthorAge
* Extension of NArith: Nminus, Nmin, etcGravatar letouzey2007-06-07
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Un gros coup de lifting pour IntMap: Gravatar letouzey2006-04-25
* Nouvelle en-têteGravatar herbelin2004-07-16
* 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