/doc/sphinx/addendum/

• ../
• canonical-structures.rst
• extended-pattern-matching.rst
• extraction.rst
• generalized-rewriting.rst
• implicit-coercions.rst
• micromega.rst
• miscellaneous-extensions.rst
• nsatz.rst
• omega.rst
• parallel-proof-processing.rst
• program.rst
• ring.rst
• type-classes.rst
• universe-polymorphism.rst