coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-16	Cleaning/improving the use of the "in" clause (e.g. "unfold foo in H at 4"	herbelin
2008-12-09	About "apply in":	herbelin
2008-08-04	Évolutions diverses et variées.	herbelin
2008-06-21	- Implantation de la suggestion 1873 sur discriminate. Au final,	herbelin
2008-06-10	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin
2008-01-09	Correction of bug #1769	jforest
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-11-27	bug correction in functional inversion principle generation	jforest
2007-10-03	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin
2007-05-20	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin
2007-05-17	correction de bug dans Function et augmentation de la classe des fonctions su...	jforest
2006-10-28	Extension du polymorphisme de sorte au cas des définitions dans Type.	herbelin
2006-09-14	mise en conformite des messages d'erreur de Function avec la doc.	jforest
2006-08-16	+ timide essai pour le traitement des as dans les patterns lors de la generat...	jforest
2006-08-11	Bug corrections in Function.	jforest
2006-07-10	+functional inversion now takes the function to invert as an optional argument.	jforest
2006-07-04	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-05-30	Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...	herbelin
2006-05-29	small changes	jforest
2006-03-12	-Debugging multiple induction, a bug appeared when having function	courtieu
2006-02-17	Julien:	bertot
2006-02-17	changed the decomposition of an induction scheme	coq
2006-02-08	Julien:	bertot
2006-02-01	New version of functional induction / inversion. By Julien Forest,	coq