.. _basic_tactic_list:

Index of tactics
================

.. toctree::
   :maxdepth: 1

   exact
   apply
   have
   cases
   change
   existsi
   intro
   intros
   rw
   show
   split
   unfold


   

Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`