index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
Commit message (
Expand
)
Author
Age
*
JMeq now treated as an equality by tactics.
courant
2002-11-14
*
nettoyage preuve limit_comp
courant
2002-11-14
*
Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...
herbelin
2002-11-07
*
Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour
herbelin
2002-10-23
*
Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour
herbelin
2002-10-23
*
Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...
herbelin
2002-10-22
*
Mise en transparence des schémas d'induction bien-fondée sur Set
herbelin
2002-10-21
*
Niveau d'affichage sumor/sumbool incohérent avec le parsing
herbelin
2002-10-21
*
Prise en compte des délimiteurs dans les motifs de Cases
herbelin
2002-10-21
*
Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs
herbelin
2002-10-18
*
Bugs dans la factorisation des règles de parsing de "{ ... } * ..."
herbelin
2002-10-17
*
Parsing des entiers de nat jusqu'à 29 pour accommoder certaines contribs
herbelin
2002-10-17
*
MAJ pour NewtonInt
desmettr
2002-10-14
*
Integrale de Newton
desmettr
2002-10-14
*
La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressions
herbelin
2002-10-14
*
Mise en place d'ensembles de notations symboliques pour nat, Z et R
herbelin
2002-10-13
*
Nettoyage
herbelin
2002-10-13
*
Déplacement de + et * aux niveaux de précédence 7 et 6
herbelin
2002-10-13
*
Déplacement de + et * aux niveaux de précédence 7 et 6
herbelin
2002-10-13
*
retour en arriere concernant la recherche d'occurence modulo expansion des le...
barras
2002-10-09
*
Preuve du lemme de Rolle
desmettr
2002-10-09
*
MAJ pour modification dans Rcomplet
desmettr
2002-10-09
*
Suppression d'un lemme redondant
desmettr
2002-10-09
*
Proof of Heine's theorem
desmettr
2002-10-09
*
*** empty log message ***
desmettr
2002-10-07
*
Quelques resultats complementaires
desmettr
2002-10-07
*
Affaiblissement des hypotheses dans TAF_gen
desmettr
2002-10-07
*
Ajout du lemme derivable_pt_lim_power
desmettr
2002-10-04
*
Preuve de Bolzano-Weierstrass
desmettr
2002-10-04
*
*** empty log message ***
desmettr
2002-10-02
*
Fonctions Ln et puissance
desmettr
2002-10-02
*
suppression de l'axiome eqDom
desmettr
2002-09-26
*
preuve d'un axiome restant via Rtopology
desmettr
2002-09-25
*
MAJ pour Rtopology
desmettr
2002-09-25
*
Proprietes topologiques dans R
desmettr
2002-09-25
*
Affaiblissement de l'ordre sur Z on demande x < y et seulement
mohring
2002-09-25
*
Preuves dans CC de
herbelin
2002-08-13
*
MAJ pour TAF
desmettr
2002-07-31
*
Theoreme des accroissements finis generalises et corollaires
desmettr
2002-07-31
*
MAJ pour Exp_prop
desmettr
2002-07-31
*
Proprietes de l'exponentielle
desmettr
2002-07-31
*
MAJ pour Rtrigo_reg
desmettr
2002-07-29
*
Regularite de sin et cos
desmettr
2002-07-29
*
Continuite des series de fonctions NC
desmettr
2002-07-29
*
Quelques ameliorations dans Reg
desmettr
2002-07-22
*
Nvll preuves R_dist_tri et tech_limit
mayero
2002-07-19
*
Regularites de pow et des sommes finies / MAJ Reg
desmettr
2002-07-19
*
Resultats de regularite de Rabsolu / MAJ de Reg
desmettr
2002-07-19
*
Quelques ameliorations...
desmettr
2002-07-19
*
Correction d'un bug dans IsCont_pt
desmettr
2002-07-18
[next]