coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	commit du calcul des dependances un peu plus robuste	barras	2002-10-15
*	maj	filliatr	2002-10-15
*	coqdep bogué, retour sur version 1.75	herbelin	2002-10-14
*	maj	filliatr	2002-10-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	maj	filliatr	2002-10-11
*	Ajout ClassicalFacts	herbelin	2002-10-10
*	maj	filliatr	2002-10-08
*	maj	filliatr	2002-10-07
*	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