coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	'Open Local Scope' en attendant que le core_scope sache se mettre devant impl...	herbelin	2003-09-26
*	Structuration de fast_integer en operations sur positive, proprietes des oper...	herbelin	2003-09-26
*	Retour provisoire a une section	herbelin	2003-09-25
*	Suppression section, ce qui evite de repliquer les declarations d'Infix	herbelin	2003-09-24
*	Deplacement de lemmes de IntMap vers ZArith	herbelin	2003-09-22
*	Section et report Infix hors section	herbelin	2003-09-19
*	Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...	herbelin	2003-09-19
*	Bind et Delimit pour positive et Z (hors section)	herbelin	2003-09-12
*	Deplacement de le_minus de fast_integer vers Minus	herbelin	2003-06-14
*	Deplacement d'un lemme sur nat de ZArith vers Arith	herbelin	2003-06-13
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-12
*	Compatibilite times1 (suite)	herbelin	2002-12-10
*	Nouvelle preuve de times_convert pour nouvelle définition de times	herbelin	2002-12-09
*	Compatibilité times1	herbelin	2002-12-07
*	Un axiome en attendant la mise a jour de la preuve de times_convert	herbelin	2002-12-06
*	Amélioration sensible de l'efficacité de la multiplication	herbelin	2002-12-06
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	remplace Zarith par ZArith	mohring	2001-04-19