From 3f222e4bb3d65e79c8e579df9e68cbb602acfd9c Mon Sep 17 00:00:00 2001
From: Olivier Laurent
Date: Wed, 1 Apr 2020 16:26:32 +0200
Subject: Add changelog for PR #11335

---
 doc/changelog/10-standard-library/11335-ollibs-wfnat-changelog.rst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/10-standard-library/11335-ollibs-wfnat-changelog.rst

diff --git a/doc/changelog/10-standard-library/11335-ollibs-wfnat-changelog.rst b/doc/changelog/10-standard-library/11335-ollibs-wfnat-changelog.rst
new file mode 100644
index 0000000000..0eb3eefde5
--- /dev/null
+++ b/doc/changelog/10-standard-library/11335-ollibs-wfnat-changelog.rst
@@ -0,0 +1,4 @@
+- **Added:**
+  Well-founded induction principles for `nat`: ``lt_wf_rect1``, ``lt_wf_rect``, ``gt_wf_rect``, ``lt_wf_double_rect``
+  (`#11335 <https://github.com/coq/coq/pull/11335>`_,
+  by Olivier Laurent).
-- 
cgit v1.2.3