aboutsummaryrefslogtreecommitdiff
path: root/contrib7
AgeCommit message (Expand)Author
2005-12-26Suppression des fichiers .v en ancienne syntaxeherbelin
2005-12-26Suppression des fichiers .v en ancienne syntaxeherbelin
2005-08-17new congruencecorbinea
2005-05-03Open Scope non Local malencontreuxherbelin
2005-05-02Utilisation Z_scopeherbelin
2005-02-21- changement ordre arguments interp_goal_concl pour permettre applicationherbelin
2004-12-24Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-09-03V7 .v files for Setoid_* and Ring over setoids commented out.sacerdot
2004-07-16Nouvelle en-têteherbelin
2004-03-11reals: renamed type option into field_rel_optionmarche
2004-03-04ROmegamohring
2004-03-02Simplification preuveherbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:51:16 +0000