aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/complexity/setoid_rewrite.v
Commit message (Expand)AuthorAge
* illegal tactic application was having Ltac interpreter loopGravatar barras2009-03-04
* Ajout test setoid_rewrite (cf bug #1176); anglicisationGravatar herbelin2006-11-01