aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/cc.v
Commit message (Expand)AuthorAge
* fix bug #2447 in congruenceGravatar Pierre Corbineau2014-12-16
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* congruence now knows about _ -> _Gravatar corbinea2008-02-21
* Correction du bug #1679 (congruence) et ajout test-suiteGravatar corbinea2007-09-14
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Suppression test CCSolve car remplaçé par Congruence mais qui ne traite pas...Gravatar herbelin2005-09-09
* ground->firstorder, cc-> congruence, CC final commitGravatar corbinea2003-11-29
* removal of CC.v lemata in cc (deprecated)Gravatar corbinea2003-11-26
* CC: added injection theoryGravatar corbinea2003-11-25
* Adding the congruence closure tactics (CC and CCsolve).Gravatar corbinea2002-10-01