coq - The formal proof system

Age	Commit message (Expand)	Author
2002-11-25	Rétablissement affichage des entiers de nat	herbelin
2002-11-25	Retablissement SynDef Value/Error	herbelin
2002-11-25	Oubli	herbelin
2002-11-24	Traitement des parenthèses de nat au niveau du printer	herbelin
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-24	Généralisation de l'utilisation de Notation	herbelin
2002-11-24	Remplacement de Syntactic Definition par Notation	herbelin
2002-11-20	Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...	herbelin
2002-11-18	Definition et proprietes de l'integrale de Riemann	desmettr
2002-11-18	Proprietes des fonctions en escalier	desmettr
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-14	Oubli	herbelin
2002-11-14	JMeq now treated as an equality by tactics.	courant
2002-11-14	nettoyage preuve limit_comp	courant
2002-11-07	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin
2002-10-23	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-22	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin
2002-10-21	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-18	Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs	herbelin
2002-10-17	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-14	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-13	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-09	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-07	* empty log message *	desmettr
2002-10-07	Quelques resultats complementaires	desmettr
2002-10-07	Affaiblissement des hypotheses dans TAF_gen	desmettr
2002-10-04	Ajout du lemme derivable_pt_lim_power	desmettr
2002-10-04	Preuve de Bolzano-Weierstrass	desmettr
2002-10-02	* empty log message *	desmettr
2002-10-02	Fonctions Ln et puissance	desmettr
2002-09-26	suppression de l'axiome eqDom	desmettr
2002-09-25	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-08-13	Preuves dans CC de	herbelin
2002-07-31	MAJ pour TAF	desmettr