aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/typeclasses
Commit message (Expand)AuthorAge
* Add the possibility of specifying constants to unfold for typeclassGravatar msozeau2008-03-17
* Using the "relation" constant made some unifications fail in the newGravatar msozeau2008-03-16
* Plug the new setoid implemtation in, leaving the original one commentedGravatar msozeau2008-03-06
* Backtrack changes on eauto, move specialized version of eauto inGravatar msozeau2008-02-14
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31