coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	Remove the deprecation for some 8.2-8.5 compatibility aliases.	Théo Zimmermann	2018-03-02
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Simpl less (so that cbn will not simpl too much)	Pierre Boutillier	2014-10-01
*	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey	2014-07-09
*	Less dependencies in Omega.	Pierre-Marie Pédrot	2014-02-08
*	nat_iter n f x -> nat_rect _ x (fun _ => f) n	pboutill	2012-12-21
*	Updating headers.	herbelin	2012-08-08
*	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey	2012-07-05
*	Modularisation of Znat, a few name changed elsewhere	letouzey	2011-05-05
*	Modularization of Nnat	letouzey	2011-05-05
*	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey	2010-11-18
*	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey	2010-11-10
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Better comparison functions in OrderedTypeEx	letouzey	2009-07-22
*	setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def.	letouzey	2007-11-08
*	Changed the definition of Nminus in BinNat.v by removing comparison.	emakarov	2007-09-20
*	A generic preprocessing tactic zify for (r)omega	letouzey	2007-07-18
*	Extension of NArith: Nminus, Nmin, etc	letouzey	2007-06-07
*	Changement dans ring et field, beaucoup de correction d'erreurs,	bgregoir	2006-12-15
*	Un gros coup de lifting pour IntMap:	letouzey	2006-04-25