Commit message (Expand) | Author | Age | |
---|---|---|---|
* | just forgot something in previous commit | 2003-11-26 | |
* | removal of CC.v lemata in cc (deprecated) | 2003-11-26 | |
* | Ground and CCsolve updates | 2003-05-25 | |
* | Adding the congruence closure tactics (CC and CCsolve). | 2002-10-01 |