coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	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 place d'ensembles de notations symboliques pour nat, Z et R	herbelin	2002-10-13
*	Affaiblissement de l'ordre sur Z on demande x < y et seulement	mohring	2002-09-25
*	Making the sumbool functions transparent, so that they can used to	bertot	2002-07-09
*	ZArith_base, Zbool, Bool_nat	filliatr	2002-06-20
*	deplacement contrib/correctness/ProgWf -> theories/ZArith/Zwf	filliatr	2002-06-19
*	Adding file theories/ZArith/Zsqrt.v that contains a square root function.	bertot	2002-06-07
*	Correction non reconnaissance des variables de section dans les afficheurs de...	herbelin	2002-06-06
*	affaiblissement hyp de Zmult_reg_left	filliatr	2002-06-05
*	Contournement des My_special_variable	herbelin	2002-05-29
*	suppression de inf_decidable dans ZArith_dec (pour SeachPattern)	filliatr	2002-05-16
*	encore des lemmes sur Zdiv	filliatr	2002-05-14
*	nouveaux lemmes dans Zdiv (Claude Marche)	filliatr	2002-05-14
*	Cosmétique	herbelin	2002-05-06
*	lemmes sur Zdiv/Zmod	filliatr	2002-04-19
*	un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F...	filliatr	2002-04-19
*	Quelques bugs avec inject_nat	herbelin	2002-04-17
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Zdiv -> Export ZArith	filliatr	2002-04-08
*	syntaxe pour Zdiv et Zmod	filliatr	2002-04-08
*	simplification preuve	filliatr	2002-04-05
*	nouveau module Zdiv	filliatr	2002-04-05
*	Bug d'affichage des réels dû à une collision entre les APPLINSIDETAIL de Z...	herbelin	2002-03-22
*	petits changements afin de profiter du nouveau Rewrite/in	barras	2002-03-05
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Syntaxe IF then else au lieu de either and_then or_else	barras	2002-02-14
*	Bug affichage de O (de nat) dans une expression sur Z	herbelin	2002-01-25
*	Zdiv et Zmod dans Zcomplements	filliatr	2002-01-25
*	Bug commentaire (i i)	herbelin	2002-01-18
*	amadouage de coqweb	letouzey	2002-01-18
*	ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...	letouzey	2002-01-18
*	Rustine pour gérer inject_nat	herbelin	2001-09-12
*	Du bon usage des commentaires coqweb	herbelin	2001-09-11
*	Conformité des commentaires au format coqweb	herbelin	2001-09-11
*	ajout option , Exc --> option, et lemmes dans les theories	mohring	2001-08-29
*	Protection des commentaires pour coqtex et coqweb	herbelin	2001-08-13
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...	herbelin	2001-05-31
*	Minor layout adjustments for Library doc	coq	2001-04-23
*	Library doc adjustments (until page 140)	coq	2001-04-20
*	remplace Zarith par ZArith	mohring	2001-04-19