canonical-structures.rst « addendum « sphinx « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/sphinx/addendum/canonical-structures.rst

blob: 5febfdc32573be1311cf06fe874358ff0b91a991 (plain)

:orphan:

.. raw:: html

   <meta http-equiv="refresh" content="0;URL=../language/extensions/canonical.html">