coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix nsatz not recognizing real literals.	Guillaume Melquiond	2017-04-20
*	Bug fix : variable capture in ltac code of Nsatz	thery	2016-07-05
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing an incompleteness of the ring/field tactics	amahboub	2013-08-23
*	Little fix for Nsatz: hypotheses not directly relevant to the nsatz	herbelin	2013-05-05
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	Updating headers.	herbelin	2012-08-08
*	More cleanup in Ring_polynom and EnvRing	letouzey	2012-07-05
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	moins de reification inutile, noatations standards	pottier	2011-08-04
*	Ring2 devient Ncring et la reification par les type classes est partagee	pottier	2011-07-26
*	Tests de nsatz avec la geometrie	pottier	2011-06-16
*	ring2, cring, nsatz avec type classe avec parametres plus notations	pottier	2011-06-10
*	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey	2010-11-18
*	unification des tactiques nsatz pour R Z avec celle des anneaux integres	pottier	2010-07-28