coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Kill some useless dependencies (Bvector, Program.Syntax)	letouzey	2010-02-17
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	- Resolve type class constraints before trying to find unresolved	msozeau	2009-09-11
*	- Better deal with commands inside section titles in latex output using	msozeau	2009-01-21
*	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau	2008-12-16
*	- Cleanup parsing of binders, reducing to a single production for all	msozeau	2008-05-11
*	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau	2008-04-08
*	Minor fixes. Use expanded type in class_tactics for Morphism search, to	msozeau	2008-04-02
*	Misc: Add test for bug 1704, now closed. Add usual syntax for lists in	msozeau	2008-03-16
*	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau	2008-03-16