@@ -8,7 +8,7 @@ tutorial. In this section, we briefly discus tactics.
88
99One way to write proofs interactively is to write the general *structure* of
1010the proof, and use the interactive mode to complete the details.
11−Consider the following definition, proved in :ref:`.. _sect-theorems`:
11+Consider the following definition, proved in :ref:`sect-theorems`:
1212
1313.. code-block:: idris
1414