coq - The formal proof system

Age	Commit message (Expand)	Author
2007-03-19	Add a parameter to QuestionMark evar kind to say it can be turned into an obl...	msozeau
2007-01-19	Protection contre les warnings 'unused variable' de ocaml 3.09	herbelin
2006-11-24	Functional graph merging deals with letins.	courtieu
2006-10-26	Experimental merging of two functional graphs.	courtieu
2006-08-16	+ timide essai pour le traitement des as dans les patterns lors de la generat...	jforest
2006-07-10	+functional inversion now takes the function to invert as an optional argument.	jforest
2006-07-05	Use typing informations while defining graphs for Function.	jforest
2006-07-04	- completely new version of "functional inversion" using inversion on	jforest
2006-06-06	+ ameliorating the tactic "functional induction"	jforest
2006-06-01	bug in alpha-conversion	jforest
2006-05-22	LetTuple are now supported in Function	jforest
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-04-24	+ Handling "if" and cast in GenFixpoint	jforest
2006-04-10	+ Changing a little functional schemes types	jforest
2006-03-07	Coq did not compile in Ocaml 3.06 and 3.07 since Map.S did not contain is_emp...	jforest
2006-02-17	Julien:	bertot
2006-02-01	New version of functional induction / inversion. By Julien Forest,	coq