diff --git a/spec/changelog.tex b/spec/changelog.tex
index 555bca4d1a2c026bab6a5af15078d8e55b7c7a5a..aa8b02b3ab40ace4fdf8ee9f5e4a56661b928bed 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -15,6 +15,9 @@ Proof rules:
         clause.
   \item Addition of the \proofRule{reordering} rule to represent reordering of
         the literals in a clause.
+  \item Addition of the \proofRule{bind_let} rule.  This rule can be used to
+        preprocess \inlineAlethe{let} expressions similar to the \proofRule{bind}
+        rule used with ordinary quantifiers.
 \end{itemize}
 
 \noindent