coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Detection des paramettres pour les Functions bien fondees	jforest	2006-09-27
*	Ajout possibilité clause "where" dans co-points fixes	herbelin	2006-09-01
*	Amelioration des messages d'erreur de Fucntion	jforest	2006-08-24
*	+ timide essai pour le traitement des as dans les patterns lors de la generat...	jforest	2006-08-16
*	Code cleaning in Function	jforest	2006-07-18
*	+functional inversion now takes the function to invert as an optional argument.	jforest	2006-07-10
*	Use typing informations while defining graphs for Function.	jforest	2006-07-05
*	adding comments and cleaning code	jforest	2006-07-04
*	- completely new version of "functional inversion" using inversion on	jforest	2006-07-04
*	Passage des graphes de Function dans Type	jforest	2006-06-23
*	LetTuple are now supported in Function	jforest	2006-05-22
*	Fixing two minor bugs in recdef and graph of function generation.	jforest	2006-05-03
*	Cleanning and factorizing code in funind. Spliting new_arg_principles into to...	jforest	2006-05-03
*	- Distinction explicite des parties paramètres et arguments dans le type	herbelin	2006-04-27
*	+ Handling "if" and cast in GenFixpoint	jforest	2006-04-24
*	+ Changing a little functional schemes types	jforest	2006-04-10
*	cleaning	jforest	2006-03-10
*	Coq did not compile in Ocaml 3.06 and 3.07 since Map.S did not contain is_emp...	jforest	2006-03-07
*	Julien:	bertot	2006-02-17
*	Julien:	bertot	2006-02-08
*	New version of functional induction / inversion. By Julien Forest,	coq	2006-02-01