aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Relations/Relation_Operators.v
Commit message (Expand)AuthorAge
* Backtrack sur le passage de Set à Type pour l'ordre lexicographiqueGravatar herbelin2007-02-07
* Passage de Set à Type dans Relations et WellfoundedGravatar herbelin2007-02-06
* Mise en forme des theoriesGravatar notin2006-10-17
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
* changement parametres inductifs dans les theoriesGravatar mohring2005-11-30
* Généralisation à Type de certaines propriétés des relationsGravatar herbelin2004-11-19
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Library doc adjustments (until page 140)Gravatar coq2001-04-20
* remplace Zarith par ZArithGravatar mohring2001-04-19
* entetesGravatar filliatr2001-03-15
* Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...Gravatar herbelin2000-11-10
* Modification de la table des tactic Definitions pour eviter l'ecritureGravatar mohring2000-11-07
* theories/RelationsGravatar filliatr2000-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 11:38:38 +0000