coq - The formal proof system

Age	Commit message (Expand)	Author
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-11-24	Fixed the graph merging parameter order.	courtieu
2006-11-23	Fixing syntax and parameter order in functional graph merging.	courtieu
2006-11-20	Changing merging functional scheme syntax.	courtieu
2006-11-16	Small fix in functional graph merging.	courtieu
2006-11-13	Correction de la seconde partie du bug #1278	jforest
2006-11-13	Correction de la premiere partie du #1278 (but non referme en cas d'echec)	jforest
2006-10-28	Extension du polymorphisme de sorte au cas des définitions dans Type.	herbelin
2006-10-28	Fixes in experimental merging of functional graphs.	courtieu
2006-10-27	Fixes on functional graphs merging: put functional results at the end	courtieu
2006-10-27	Fixes on functional graphs merging: removed debug printing.	courtieu
2006-10-27	Fixes on functional graphs merging: names of constructors.	courtieu
2006-10-26	Some fixes in experimental merging of two functional graphs.	courtieu
2006-10-26	Experimental merging of two functional graphs.	courtieu
2006-10-20	Starting to add a function schemes merging command (not finished, not	courtieu
2006-10-13	r9778@tannat: jforest \| 2006-10-13 11:36:37 +0200	jforest
2006-09-27	Detection des paramettres pour les Functions bien fondees	jforest
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-09-19	Gestion des arguments implicites dans les Functions bien fondees	jforest
2006-09-18	correction of bug #1220	jforest
2006-09-16	Message modification in Function	jforest
2006-09-14	mise en conformite des messages d'erreur de Function avec la doc.	jforest
2006-09-01	Ajout possibilité clause "where" dans co-points fixes	herbelin
2006-08-25	two minor bug corrections in General Recursive Functions	jforest
2006-08-24	Amelioration des messages d'erreur de Fucntion	jforest
2006-08-16	+ timide essai pour le traitement des as dans les patterns lors de la generat...	jforest
2006-08-15	working on functional induction automation (tactic finduction and	courtieu
2006-08-11	Bug corrections in Function.	jforest
2006-08-08	In the old version, recursive functions cannot be declared inside a section	bertot
2006-07-18	Code cleaning in Function	jforest
2006-07-18	Code cleaning in Function	jforest
2006-07-13	bug correction when defining graph of fixpoints/definitions not generated by ...	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	functional inversion now takes a quatified hypothesis as first argument	jforest
2006-07-04	adding comments and cleaning code	jforest
2006-07-04	- completely new version of "functional inversion" using inversion on	jforest
2006-06-29	forgot a file	jforest
2006-06-29	bug correction	jforest
2006-06-23	Passage des graphes de Function dans Type	jforest
2006-06-16	Ajout de tactiques expérimentales basée sur functional induction.	courtieu
2006-06-13	ajout d'un argument with_clean a Indfun.functional_induction permettant de ch...	jforest
2006-06-13	rearrangement du code: deplacement du code effectuant functional	courtieu
2006-06-12	changed comments.	courtieu
2006-06-07	functional induction can now be used with	jforest
2006-06-06	this time it's good	jforest
2006-06-06	Error in last commit	jforest
2006-06-06	protecting an uncaught exception Not_found	jforest
2006-06-06	+ ameliorating the tactic "functional induction"	jforest