aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/hightactics.mllib
blob: 0d6322af61446cf552cd9a296e32451a70b39dfe (plain) 
1
2
3
4
5
6
7
8
9

Extraargs
Extratactics
Eauto
Class_tactics
G_class
Rewrite
G_rewrite
Tauto
Eqdecide
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 00:34:50 +0000