Extraargs
Coretactics
Extratactics
Eauto
Class_tactics
G_class
Rewrite
G_rewrite
Tauto
Eqdecide
G_eqdecide