coq - The formal proof system

Age	Commit message (Expand)	Author
2008-04-08	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau
2008-04-01	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin
2008-03-16	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau
2008-03-07	Fix bug #1704 (ordering of condition goals for (setoid)rewrite). As part	msozeau
2008-03-06	Plug the new setoid implemtation in, leaving the original one commented	msozeau
2008-02-05	Add Morphisms for Qceiling and Qfloor	roconnor
2007-11-24	small improvements about Qc. Beware: Qlt_trans becomes Qclt_trans (as it ough...	letouzey
2007-11-06	small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is	letouzey
2007-11-06	Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...	letouzey
2007-11-01	Adding Qround.v (and helper lemmas and hints)	roconnor
2007-11-01	In agreement with Laurent Thery, start migration of auxiliary results	letouzey
2007-09-07	- renaming Qle_shift_recip_r into Qle_shift_inv_r, etc	roconnor
2007-08-28	Adding a few lemmas for reasoning about inequalities over the	roconnor
2007-07-13	Added Qpower_plus' and Zpower_Qpower	roconnor
2007-07-13	Small cleanup	letouzey
2007-07-05	Added Qpower_mult theorem.	roconnor
2007-07-02	Correction (partielle) du bug #1587	notin
2007-06-25	Updated Qpow_tac to work on a a more realistic set of exponent values.	roconnor
2007-06-21	Adding: Field instance for Q.	roconnor
2006-12-11	Changement dans le kernel :	bgregoir
2006-10-17	Mise en forme des theories	notin
2006-09-29	args implicites dans Field	barras
2006-09-28	separation de RealField	barras
2006-09-26	commit de field + renommages	barras
2006-09-26	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras
2006-09-21	better scope/require managment (patch by Russel O'Connor)	letouzey
2006-06-25	nouvel algorithme pour Zgcd (plus rapide) + un Qcompare	letouzey
2006-05-31	ajout de QArith dans les theories standards	letouzey