coq - The formal proof system

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