Merge PR #6597: Binary, Octal, and Hex conversions between [positive], [Z], [N], [nat] and [string]

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index d3f07889fe..b3c412e921 100644
--- a/CHANGES
+++ b/CHANGES
@@ -111,6 +111,11 @@ SSReflect
   to the idiom {}e for the rewrite tactic (the equation e is used for
   rewriting and then discarded).
 
+Standard Library
+
+- There are now conversions between [string] and [positive], [Z],
+  [nat], and [N] in binary, octal, and hex.
+
 Changes from 8.8.0 to 8.8.1
 ===========================