Extraargs
Coretactics
Extratactics
Eauto
G_auto
Class_tactics
G_class
Rewrite
G_rewrite
Tauto
Eqdecide
G_eqdecide