coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix a bug in the specialization by unification tactic related to the problems	msozeau	2008-11-07
*	Minor fixes related to coqdoc and --interpolate and the dependent	msozeau	2008-10-03
*	Report improvements in Equations to the dependent elimination tactic:	msozeau	2008-09-15
*	Fixes in dependent induction tactic, putting things in better order for	msozeau	2008-09-11
*	Improve the dependent induction tactic to automatically find the	msozeau	2008-05-30
*	Various fixes:	msozeau	2008-05-15
*	Improve error handling and messages for typeclasses.	msozeau	2008-03-28
*	Misc: Add test for bug 1704, now closed. Add usual syntax for lists in	msozeau	2008-03-16
*	f_equal, revert, specialize in ML, contradict in better Ltac (+doc)	letouzey	2008-03-07
*	Debug implementation of dependent induction/dependent destruction and documen...	msozeau	2008-01-31
*	Work on dependent induction tactic and friends, finish the test-suite example	msozeau	2008-01-30
*	Better resolution of implicit parameters in typeclass binders, add extensiona...	msozeau	2008-01-02
*	Add a test case for the new "dependent" induction tactics.	msozeau	2007-08-08