coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	filliatr	2003-12-20
*	maj	filliatr	2003-12-10
*	maj	filliatr	2003-12-09
*	maj	filliatr	2003-12-03
*	maj	filliatr	2003-12-02
*	maj	filliatr	2003-12-01
*	ground->firstorder, cc-> congruence, CC final commit	corbinea	2003-11-29
*	maj	filliatr	2003-11-27
*	CC: added injection theory	corbinea	2003-11-25
*	maj	filliatr	2003-11-25
*	MAJ	herbelin	2003-11-24
*	maj	filliatr	2003-11-20
*	maj	filliatr	2003-11-18
*	maj	filliatr	2003-11-17
*	maj	filliatr	2003-11-14
*	factorisation et generalisation des clauses	barras	2003-11-13
*	maj	filliatr	2003-11-13
*	maj	filliatr	2003-11-11
*	maj	filliatr	2003-11-10
*	maj	filliatr	2003-11-07
*	maj	filliatr	2003-11-05
*	maj	filliatr	2003-11-03
*	maj	filliatr	2003-10-31
*	Redirected some of the verbose jprover output through the Pp module.	corbinea	2003-10-30
*	maj	filliatr	2003-10-29
*	maj	filliatr	2003-10-23
*	maj	filliatr	2003-10-22
*	MAJ	herbelin	2003-10-22
*	maj	filliatr	2003-10-20
*	maj	filliatr	2003-10-17
*	maj	filliatr	2003-10-16
*	Ground update + Linear removal	corbinea	2003-10-16
*	maj	filliatr	2003-10-14
*	maj	filliatr	2003-10-13
*	maj	filliatr	2003-10-12
*	maj	filliatr	2003-10-10
*	maj	filliatr	2003-10-07
*	maj	filliatr	2003-10-04
*	maj	filliatr	2003-10-01
*	maj	filliatr	2003-09-27
*	maj	filliatr	2003-09-24
*	maj	filliatr	2003-09-23
*	traducteur: affiche les commentaires a l'interieur des commandes	barras	2003-09-22
*	maj	filliatr	2003-09-19
*	maj	filliatr	2003-09-17
*	maj	filliatr	2003-09-13
*	MAJ	herbelin	2003-09-12
*	maj	filliatr	2003-09-11
*	maj	filliatr	2003-09-10
*	maj	filliatr	2003-09-08