docs: Migrate sets and relations theory reference. (#6698)
[cvc5.git] / docs / theory.rst
1 Theory References
2 =================
3
4 .. toctree::
5 :maxdepth: 1
6
7 theories/datatypes
8 theories/separation-logic
9 theories/sets-and-relations