ULKB Universal Logic Knowledge Base .. toctree:: :maxdepth: 1 :caption: Contents object expression type_constructor type term prelude extension theory commands conversion more util Indices and tables :ref:`genindex` :ref:`search`