aboutsummaryrefslogtreecommitdiff
path: root/theories/IntMap
AgeCommit message (Expand)Author
2008-03-19migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...letouzey
2008-03-04migration from Set to Type of FSet/FMap + some dependencies...letouzey
2007-06-07Extension of NArith: Nminus, Nmin, etcletouzey
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-04-25Un gros coup de lifting pour IntMap: letouzey
2004-07-16Nouvelle en-têteherbelin
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-11-12On sait jamaisherbelin
2003-10-03Cacher les .v8herbelin
2003-09-24Destruct/Induction -> NewDestruct/NewInductionherbelin
2003-09-22Deplacement de lemmes de IntMap vers ZArithherbelin
2002-03-05petits changements afin de profiter du nouveau Rewrite/inbarras
2002-02-21code mort dans tactinterp; plus de Debug On/Off dans Correctnessfilliatr
2002-02-14option -dump-glob pour coqdocfilliatr
2001-08-05Expérimentation de NewDestruct et parfois NewInductionherbelin
2001-04-23(One more) Minor layout adjustments for Library doccoq
2001-04-23Minor layout adjustments for Library doccoq
2001-04-20Library doc adjustments (until page 140)coq
2001-04-19Mise de (*i autour CVS infomohring
2001-04-11coqwebfilliatr
2001-04-11documentation automatique de la bibliothèque standardfilliatr
2001-04-08Ajout lemmes arithmetiquesmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:48:48 +0000