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
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	Nouvelle interprétation des nombres réels	desmettr	2003-01-15
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	* empty log message *	desmettr	2002-06-20
*	Ajout d'occurrences de Field (ne pas enlever)	delahaye	2002-05-31
*	Double Induction prend maintenant des noms d'hyppthèses	herbelin	2002-05-29
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Optimisation	desmettr	2002-04-02
*	Intuition ne fait plus de Unfold des constantes (il faut les faire	courant	2002-03-21
*	Intuition now takes an (optional) tactic as parameter. This tactic is	courant	2002-03-20
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	* empty log message *	desmettr	2001-12-07
*	* empty log message *	desmettr	2001-12-07
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	Integration de nouveaux lemmes	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	Intégration de nouveaux lemmes.	desmettr	2001-11-30
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	Oubli Save + je sais plus	mayero	2001-06-19
*	Ajouts de lemmes (pour Float)	mayero	2001-06-18
*	Ajouts Reals	mayero	2001-04-23
*	Minor layout adjustments for Library doc	coq	2001-04-23
*	Ajout tactics Reals	mayero	2001-04-20
*	Library doc adjustments (until page 140)	coq	2001-04-20
*	Changement syntax pour Rinv	mayero	2001-04-19
*	Ajout de Field	delahaye	2001-04-19
*	entetes	filliatr	2001-03-15
*	Renommage des variables dans les schémas d'induction	herbelin	2001-02-14
*	Modif de l'axiomatisation pour enlever les /\ de _ne	mayero	2001-01-25
*	Mise a jour Rbase	mohring	2001-01-11
*	Ajout d'une syntaxe pour Reals.	mayero	2000-11-23
*	mise-a-jour, ajouts de quelques truc...	mayero	2000-11-10
*	Pour ne plus éviter temporairement le "Auto with zarith" !	herbelin	2000-11-05
*	Pour eviter temporairement le "Auto with zarith"	delahaye	2000-10-30
*	theories/Reals	filliatr	2000-06-21