coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-28	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-12-16	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau
2008-09-13	Remove redefinition of id in Program.Basics, just add maximal implicits.	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-04-20	Work on the "occurrences" tactic argument. It is now possible to pass	msozeau
2008-04-01	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin
2008-03-20	Add a flag to control rewriting under lambdas. Otherwise makes some	msozeau
2008-03-16	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau
2008-03-06	Syntax changes in typeclasses, remove "?" for usual implicit arguments	msozeau
2008-02-26	Proper implicit arguments handling for assumptions	msozeau
2008-02-13	Debugging of the class_setoid tactic and eauto. Prepare for move from	msozeau
2008-02-06	New algorithm to resolve morphisms, after discussion with Nicolas	msozeau
2008-02-03	Add new files theories/Program/Basics.v and theories/Classes/Relations.v	msozeau