1 2 3 4 5 6 7 8 9 10 11 12 13
Extraargs Coretactics Autorewrite Extratactics Eauto G_auto Class_tactics G_class Rewrite G_rewrite Tauto Eqdecide G_eqdecide