aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib7
Commit message (Expand)AuthorAge
* new congruenceGravatar corbinea2005-08-17
* Open Scope non Local malencontreuxGravatar herbelin2005-05-03
* Utilisation Z_scopeGravatar herbelin2005-05-02
* - changement ordre arguments interp_goal_concl pour permettre applicationGravatar herbelin2005-02-21
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24
* V7 .v files for Setoid_* and Ring over setoids commented out.Gravatar sacerdot2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* reals: renamed type option into field_rel_optionGravatar marche2004-03-11
* ROmegaGravatar mohring2004-03-04
* Simplification preuveGravatar herbelin2004-03-02
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 20:03:16 +0000