Theory References
=================

.. toctree::
   :maxdepth: 1

   theories/datatypes
   theories/separation-logic
   theories/sets-and-relations