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

about summary refs log tree commit diff homepage

path: root/tactics/hightactics.mllib

blob: bc94c722f57f7b1e1e511b31b2775dd78ff0a013 (plain)

Extraargs
Extratactics
Eauto
Class_tactics
G_class
Rewrite
G_rewrite
Tauto
Eqdecide
G_eqdecide