extended-pattern-matching.rst « addendum « sphinx « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/sphinx/addendum/extended-pattern-matching.rst

blob: f17c4dce1792c6a95a1b293fb73631e71580556d (plain)

:orphan:

.. raw:: html

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