coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Extension du polymorphisme de sorte au cas des définitions dans Type.	herbelin	2006-10-28
*	mise en conformite des messages d'erreur de Function avec la doc.	jforest	2006-09-14
*	+ timide essai pour le traitement des as dans les patterns lors de la generat...	jforest	2006-08-16
*	Bug corrections in Function.	jforest	2006-08-11
*	+functional inversion now takes the function to invert as an optional argument.	jforest	2006-07-10
*	functional inversion now takes a quatified hypothesis as first argument	jforest	2006-07-04
*	- completely new version of "functional inversion" using inversion on	jforest	2006-07-04
*	Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...	herbelin	2006-05-30
*	small changes	jforest	2006-05-29
*	-Debugging multiple induction, a bug appeared when having function	courtieu	2006-03-12
*	Julien:	bertot	2006-02-17
*	changed the decomposition of an induction scheme	coq	2006-02-17
*	Julien:	bertot	2006-02-08
*	New version of functional induction / inversion. By Julien Forest,	coq	2006-02-01