path: root/doc/changelog/07-commands-and-options/11185-remove-typeclasses-axioms-instances.rst

- **Removed:** ``Typeclasses Axioms Are Instances`` flag, deprecated since 8.10.
  Use :cmd:`Declare Instance` for axioms which should be instances
  (`#11185 <https://github.com/coq/coq/pull/11185>`_, by Théo Zimmermann).