coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Updating headers.	herbelin	2012-08-08
*	Deletion of useless Zdigits_def	letouzey	2011-06-28
*	Deletion of useless Zlog_def	letouzey	2011-06-28
*	Deletion of useless Zsqrt_def	letouzey	2011-06-28
*	Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def	letouzey	2011-06-28
*	Clean-up of Znumtheory, deletion of Zgcd_def	letouzey	2011-06-24
*	Numbers and bitwise functions.	letouzey	2010-12-06
*	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey	2010-11-10
*	Numbers: axiomatization, properties and implementations of gcd	letouzey	2010-11-05
*	Numbers : log2. Abstraction, properties and implementations.	letouzey	2010-11-02
*	Add sqrt in Numbers	letouzey	2010-10-19
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Numbers: properties of min/max with respect to 0,S,P,add,sub,mul	letouzey	2010-02-09
*	ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType	letouzey	2010-02-09
*	Arith NArith et ZArith exportent ring + nettoyage dans Ring_polynom	barras	2006-10-05
*	Zbool déjà dans ZArith_base	herbelin	2004-08-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	ZArith_base, Zbool, Bool_nat	filliatr	2002-06-20
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...	herbelin	2001-05-31
*	remplace Zarith par ZArith	mohring	2001-04-19