coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	coq	2005-11-28
*	maj	coq	2005-11-18
*	maj	coq	2005-11-17
*	A la demande de Julien Forest	letouzey	2005-11-17
*	maj	coq	2005-11-08
*	maj	coq	2005-11-07
*	Modifications in the .depend files for the contrib/recdef directory	bertot	2005-11-07
*	Adds tools to help in defining new general recursive functions	bertot	2005-11-07
*	maj	coq	2005-11-02
*	maj	coq	2005-10-27
*	maj	coq	2005-09-09
*	maj	coq	2005-08-17
*	new congruence	corbinea	2005-08-17
*	maj	coq	2005-08-02
*	maj	coq	2005-08-02
*	maj	coq	2005-08-02
*	maj	coq	2005-07-15
*	Subtac: traitement correct des existentielles et de la rÃ©cursion.	coq	2005-07-15
*	reflexive tauto	corbinea	2005-07-15
*	maj	coq	2005-07-14
*	maj	coq	2005-07-13
*	maj	coq	2005-07-13
*	maj	coq	2005-06-24
*	maj	coq	2005-06-15
*	maj	coq	2005-06-09
*	maj	coq	2005-06-07
*	maj	coq	2005-06-05
*	maj	coq	2005-05-25
*	Added subtac contrib.	coq	2005-05-25
*	maj	coq	2005-05-24
*	dp: ajout du prouveur Zenon	coq	2005-05-24
*	maj	coq	2005-05-20
*	New command: "Print Ltac qualid" to print user defined tactics.	sacerdot	2005-05-20
*	maj	coq	2005-05-19
*	maj	coq	2005-05-18
*	maj	coq	2005-05-17
*	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin	2005-05-17
*	maj	coq	2005-05-15
*	maj	coq	2005-04-21
*	maj	coq	2005-04-07
*	maj	coq	2005-03-24
*	maj	coq	2005-03-22
*	Ajout de l'axiome du but prouve par la tactique simplifi	coq	2005-03-22
*	maj	coq	2005-03-19
*	maj	coq	2005-03-18
*	appel de Simplify depuis Coq	coq	2005-03-18
*	maj	coq	2005-03-17
*	maj	coq	2005-03-17
*	maj	coq	2005-03-16
*	tactiques prouveurs premier ordre dans contrib/dp/	coq	2005-03-16