coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Better visibility of the inductive CompSpec used to specify comparison functions	letouzey	2009-11-03
*	OrderedType implementation for various numerical datatypes + min/max structures	letouzey	2009-11-03
*	Implicit argument of Logic.eq become maximally inserted	letouzey	2009-10-08
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	changed deprecated setoid into relation	amahboub	2009-08-05
*	Oups (on refait le 11268 en mieux)	herbelin	2008-07-27
*	- Pour CoRN, rétablissement notations Qgt/Qge (mais cette fois avec	herbelin	2008-07-26
*	Autour du parsing:	herbelin	2008-07-15
*	Fix bug #1899: no more strange notations for Qge and Qgt	letouzey	2008-07-04
*	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau	2008-04-08
*	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau	2008-03-16
*	Plug the new setoid implemtation in, leaving the original one commented	msozeau	2008-03-06
*	small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is	letouzey	2007-11-06
*	Adding Qround.v (and helper lemmas and hints)	roconnor	2007-11-01
*	- renaming Qle_shift_recip_r into Qle_shift_inv_r, etc	roconnor	2007-09-07
*	Adding a few lemmas for reasoning about inequalities over the	roconnor	2007-08-28
*	Correction (partielle) du bug #1587	notin	2007-07-02
*	Adding: Field instance for Q.	roconnor	2007-06-21
*	Mise en forme des theories	notin	2006-10-17
*	commit de field + renommages	barras	2006-09-26
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	better scope/require managment (patch by Russel O'Connor)	letouzey	2006-09-21
*	nouvel algorithme pour Zgcd (plus rapide) + un Qcompare	letouzey	2006-06-25
*	ajout de QArith dans les theories standards	letouzey	2006-05-31