summaryrefslogtreecommitdiff
path: root/tactics/g_eqdecide.ml4
Commit message (Expand)AuthorAge