aboutsummaryrefslogtreecommitdiff
path: root/theories
AgeCommit message (Expand)Author
2002-10-22Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...herbelin
2002-10-21Mise en transparence des schémas d'induction bien-fondée sur Setherbelin
2002-10-21Niveau d'affichage sumor/sumbool incohérent avec le parsingherbelin
2002-10-21Prise en compte des délimiteurs dans les motifs de Casesherbelin
2002-10-18Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribsherbelin
2002-10-17Bugs dans la factorisation des règles de parsing de "{ ... } * ..."herbelin
2002-10-17Parsing des entiers de nat jusqu'à 29 pour accommoder certaines contribsherbelin
2002-10-14MAJ pour NewtonIntdesmettr
2002-10-14Integrale de Newtondesmettr
2002-10-14La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressionsherbelin
2002-10-13Mise en place d'ensembles de notations symboliques pour nat, Z et Rherbelin
2002-10-13Nettoyageherbelin
2002-10-13Déplacement de + et * aux niveaux de précédence 7 et 6herbelin
2002-10-13Déplacement de + et * aux niveaux de précédence 7 et 6herbelin
2002-10-09retour en arriere concernant la recherche d'occurence modulo expansion des le...barras
2002-10-09Preuve du lemme de Rolledesmettr
2002-10-09MAJ pour modification dans Rcompletdesmettr
2002-10-09Suppression d'un lemme redondantdesmettr
2002-10-09Proof of Heine's theoremdesmettr
2002-10-07*** empty log message ***desmettr
2002-10-07Quelques resultats complementairesdesmettr
2002-10-07Affaiblissement des hypotheses dans TAF_gendesmettr
2002-10-04Ajout du lemme derivable_pt_lim_powerdesmettr
2002-10-04Preuve de Bolzano-Weierstrassdesmettr
2002-10-02*** empty log message ***desmettr
2002-10-02Fonctions Ln et puissancedesmettr
2002-09-26suppression de l'axiome eqDomdesmettr
2002-09-25preuve d'un axiome restant via Rtopologydesmettr
2002-09-25MAJ pour Rtopologydesmettr
2002-09-25Proprietes topologiques dans Rdesmettr
2002-09-25Affaiblissement de l'ordre sur Z on demande x < y et seulementmohring
2002-08-13Preuves dans CC deherbelin
2002-07-31MAJ pour TAFdesmettr
2002-07-31Theoreme des accroissements finis generalises et corollairesdesmettr
2002-07-31MAJ pour Exp_propdesmettr
2002-07-31Proprietes de l'exponentielledesmettr
2002-07-29MAJ pour Rtrigo_regdesmettr
2002-07-29Regularite de sin et cosdesmettr
2002-07-29Continuite des series de fonctions NCdesmettr
2002-07-22Quelques ameliorations dans Regdesmettr
2002-07-19Nvll preuves R_dist_tri et tech_limitmayero
2002-07-19Regularites de pow et des sommes finies / MAJ Regdesmettr
2002-07-19Resultats de regularite de Rabsolu / MAJ de Regdesmettr
2002-07-19Quelques ameliorations...desmettr
2002-07-18Correction d'un bug dans IsCont_ptdesmettr
2002-07-18MAJ pour Sqrt_regdesmettr
2002-07-18Preuves de la continuite/derivabilite de sqrt sur R+/R+*desmettr
2002-07-16*** empty log message ***desmettr
2002-07-16*** empty log message ***desmettr
2002-07-16MAJ Rtrigo pour sqrtdesmettr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-23 20:36:58 +0000