aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/hightactics.mllib
blob: ff2e1ff6aa4b0c1842164af1d5ce9291d7811950 (plain)
1
2
3
4
5
6
7
8
9
10
11
Extraargs
Coretactics
Extratactics
Eauto
Class_tactics
G_class
Rewrite
G_rewrite
Tauto
Eqdecide
G_eqdecide