coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	modif generales claude	coq	2003-12-30
*	MAJ	herbelin	2003-12-28
*	Completion	herbelin	2003-12-28
*	Ajout ref About	herbelin	2003-12-28
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	Aspect mathematique de Coq	herbelin	2003-12-24
*	MAJ	herbelin	2003-12-23
*	Qques avancees sur la doc des scopes	herbelin	2003-12-23
*	Ajout intro-pattern des inductifs unaire	herbelin	2003-12-23
*	* empty log message *	barras	2003-12-23
*	* empty log message *	barras	2003-12-23
*	MAJ Reset Initial	herbelin	2003-12-22
*	Amendements apres lecture Bruno	herbelin	2003-12-22
*	Ajout projections; reparation script coq	herbelin	2003-12-21
*	Ajout Conjecture	herbelin	2003-12-21
*	Ajout Admitted	herbelin	2003-12-21
*	Ajout symmetry in; NArithRing; Hint Local; MAJ V8; typos	herbelin	2003-12-21
*	mise a jour Cases	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	Typo	herbelin	2003-12-20
*	MAJ	herbelin	2003-12-20
*	relecture v8	herbelin	2003-12-20
*	MAJ ltac, INSTALL, typos	herbelin	2003-12-19
*	mise a jour V8	mohring	2003-12-19
*	Typos	herbelin	2003-12-19
*	Correction de la grammaire des intro-patterns	herbelin	2003-12-19
*	Documentation 'inversion as'	herbelin	2003-12-19
*	* empty log message *	barras	2003-12-19
*	des %N inutiles et les messages d'erreurs n'aparaissent plus dans la doc	barras	2003-12-19
*	deplacement du chap sur ltac	barras	2003-12-19
*	* empty log message *	barras	2003-12-19
*	v8/CIC	mohring	2003-12-19
*	Mise a jour V8	mohring	2003-12-19
*	Petits changements dans la doc de functional scheme et functional induction.	coq	2003-12-19
*	COQBIN plus necessaire, typos	marche	2003-12-19
*	oups	filliatr	2003-12-19
*	maj	filliatr	2003-12-19
*	passe sur les labels et les refs dans chapitres tactiques	filliatr	2003-12-19
*	mise a jour CIC	mohring	2003-12-18
*	* empty log message *	barras	2003-12-18
*	doc proof with	narboux	2003-12-18
*	avancement	clrenard	2003-12-18
*	maj V8	filliatr	2003-12-18
*	premiere passe V8	filliatr	2003-12-18
*	encore un peu de tactiques...	filliatr	2003-12-18
*	encore un peu de tactiques...	filliatr	2003-12-17