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