hods.html">Coinduction hooks</a></li>
<li class="toctree-l3"><a class="reference internal" href="printing_methods.html">Message printing</a></li>
<li class="toctree-l3"><a class="reference internal" href="asking_methods.html">Question asking</a></li>
</ul>
</li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="../../tutorial/index.html">Tutorial</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../faq/index.html">FAQ</a></li>
<li class="toctree-l1"><a class="refere