hightactics.mllib « tactics - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/tactics/hightactics.mllib

blob: 30e97f62d5ce194d15aa8326c3aa0b6b6f3c315f (plain)

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