Refine
Extraargs
Extratactics
Eauto
Class_tactics
Rewrite
Tauto
Eqdecide