Add changelog

coq · Nov 27, 2023 · 0521c8f · 0521c8f
1 parent 6e5aefb
commit 0521c8f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/doc/changelog/11-standard-library/18164-rm_arith_files.rst b/doc/changelog/11-standard-library/18164-rm_arith_files.rst
@@ -0,0 +1,6 @@
+- **Removed:**
+  long deprecated files in `Arith`: `Div2.v`, `Even.v`, `Gt.v`,
+  `Le.v`, `Lt.v`, `Max.v`, `Minus.v`, `Min.v`, `Mult.v`, `Plus.v`,
+  `Arith_prebase.v`
+  (`#18164 <https://github.com/coq/coq/pull/18164>`_,
+  by Pierre Rousselin).