coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Implementation of rewriting under lambdas. Tested on exists only.	msozeau	2008-03-18
*	Correct implementation of normalization of signatures using setoid	msozeau	2008-03-18
*	Add the possibility of specifying constants to unfold for typeclass	msozeau	2008-03-17
*	Using the "relation" constant made some unifications fail in the new	msozeau	2008-03-16
*	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau	2008-03-16
*	Minor fixes on setoid rewriting. Now uses definitions of [relation] and	msozeau	2008-03-16
*	Fix compilation problem and finish little cleanup.	msozeau	2008-03-10
*	Add a missing morphism declaration that turns morphisms on R ==> R' to	msozeau	2008-03-09
*	New implementation of Add Relation as a DefaultRelation instance	msozeau	2008-03-08
*	Fix bugs that were reopened due to the change of setoid	msozeau	2008-03-08
*	Fix bug #1704 (ordering of condition goals for (setoid)rewrite). As part	msozeau	2008-03-07
*	typo in last commit (?)	letouzey	2008-03-06
*	Plug the new setoid implemtation in, leaving the original one commented	msozeau	2008-03-06
*	Proper implicit arguments handling for assumptions	msozeau	2008-02-26
*	Some bad emacs messup that was commited...	msozeau	2008-02-14
*	Backtrack changes on eauto, move specialized version of eauto in	msozeau	2008-02-14
*	Move class_setoid to class_tactics.	msozeau	2008-02-13