aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/hightactics.mllib
blob: 7d12f9d04c2bab4dc156f209fd084f5d96a01fc8 (plain)
1
2
3
4
5
6
7
8
Refine
Extraargs
Extratactics
Eauto
Class_tactics
Rewrite
Tauto
Eqdecide