coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	filliatr	2002-10-03
*	maj	filliatr	2002-10-02
*	maj	filliatr	2002-09-27
*	maj	filliatr	2002-09-20
*	maj	filliatr	2002-09-20
*	MAJ depend.coq	coq	2002-08-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	correction bugs Tauto	courant	2002-07-19
*	Correction bug Tauto : la regle pour (A->B)->C echouait quand C etait	courant	2002-07-15
*	maj	filliatr	2002-07-02
*	resynchronisation du .depend.coq	letouzey	2002-06-28
*	ZArith_base, Zbool, Bool_nat	filliatr	2002-06-20
*	deplacement contrib/correctness/ProgWf -> theories/ZArith/Zwf	filliatr	2002-06-19
*	extraction vers scheme	letouzey	2002-06-07
*	Adding file theories/ZArith/Zsqrt.v that contains a square root function.	bertot	2002-06-07
*	.depend.coq remis a jour	letouzey	2002-05-31
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	MAJ	herbelin	2002-05-16
*	maj	filliatr	2002-05-15
*	nouveaux lemmes dans Zdiv (Claude Marche)	filliatr	2002-05-14
*	nouveau module Zdiv	filliatr	2002-04-05
*	Elimination Elimdep.v	mohring	2002-03-27
*	ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...	letouzey	2002-01-18
*	mise a jour	filliatr	2001-12-10
*	remise au gout du jour du repertoire theories/Sorting de la V6.3	letouzey	2001-11-21
*	Diverses petites simplications de la machine de preuves.	clrenard	2001-11-19
*	Deplacement des setoides.	clrenard	2001-09-19
*	Modification de l'emplacement des fichiers pour les setoides.	clrenard	2001-09-18
*	Changement de place et de nom de la tactique Setoid_rewrite.	clrenard	2001-07-10
*	Mise a jour des .depend	clrenard	2001-06-26
*	Ajouts des theories du paradoxe de Berardi	delahaye	2001-06-19
*	Ajout des entrees puor Setoid_replace.	clrenard	2001-06-12
*	Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...	herbelin	2001-05-31
*	Ajout de Rseries et Rtrigo_fun	mayero	2001-04-24
*	Ajout Fourier, DiscrR, ...	mayero	2001-04-20
*	support option -R pour coqdep	filliatr	2001-04-20
*	Zarith -> ZArith	filliatr	2001-04-19
*	Ajout de Field	delahaye	2001-04-19
*	branchement extraction en standard (pas de Require)	filliatr	2001-04-09
*	Ajout lemmes arithmetiques	mohring	2001-04-08
*	mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4	filliatr	2001-04-05
*	Added two files that are used for the connection with the graphical user-inte...	bertot	2001-04-04
*	branchement extraction (bytecode seulement)	filliatr	2001-03-30
*	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr	2001-02-08
*	calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)	filliatr	2001-02-05
*	mise a jour	filliatr	2000-11-29
*	MAJ	herbelin	2000-11-26
*	ajout de theories/Wellfounded	filliatr	2000-11-21
*	separation calcul des implicites et declaration des constantes / inductifs / ...	filliatr	2000-11-21
*	MAJ	herbelin	2000-11-20