Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 | |
* | fixed (PR#1483) | 2007-05-24 | |
* | added congruence improvement | 2006-09-19 | |
* | new congruence | 2005-08-17 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | congruence now handles disequalities | 2004-03-14 | |
* | cc update | 2003-12-09 | |
* | ground->firstorder, cc-> congruence, CC final commit | 2003-11-29 | |
* | CC: added injection theory | 2003-11-25 | |
* | Code simplification in CC | 2003-11-20 | |
* | Adding the congruence closure tactics (CC and CCsolve). | 2002-10-01 |