coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	new congruence	corbinea	2005-08-17
*	Open Scope non Local malencontreux	herbelin	2005-05-03
*	Utilisation Z_scope	herbelin	2005-05-02
*	- changement ordre arguments interp_goal_concl pour permettre application	herbelin	2005-02-21
*	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin	2004-12-24
*	V7 .v files for Setoid_* and Ring over setoids commented out.	sacerdot	2004-09-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	reals: renamed type option into field_rel_option	marche	2004-03-11
*	ROmega	mohring	2004-03-04
*	Simplification preuve	herbelin	2004-03-02
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29