Index of tactics

• exact
• apply
• have
• cases
• change
• existsi
• intro
• intros
• The rewrite tactic (rw)
• show
• split

Indices and tables

• Index
• Module Index
• Search Page