aboutsummaryrefslogtreecommitdiff
path: root/theories/Sorting
AgeCommit message (Expand)Author
2007-11-06small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is letouzey
2007-06-27eqlistA is now equivlistAletouzey
2007-06-08some more properties of fold and elements in FSetPropertiesletouzey
2006-10-17Mise en forme des theoriesnotin
2006-05-23Changement de précédence de l'argument du by de assert; conséquences...herbelin
2006-05-16etoffage des notions de permutations (a la fois List.Permutation et Permutati...letouzey
2006-05-11quelques ajouts venant des fichiers de Evelyne C. letouzey
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-02-22Minimum pour documentation TeX de la biblioherbelin
2004-07-16Nouvelle en-têteherbelin
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-10-03Cacher les .v8herbelin
2002-04-17Uniformisation (Qed/Save et Implicits Arguments)herbelin
2002-02-14option -dump-glob pour coqdocfilliatr
2001-11-21remise au gout du jour du repertoire theories/Sorting de la V6.3letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 14:52:17 +0000